Follow

A blog post about a very nice (and in my case, very useful) trick that kind of gives first-class type families : blog.poisson.chat/posts/2018-0

Sign in to participate in the conversation
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.