v0.15.0 has just been released. I worked on a few changes to the compiler, most notably adding support to type-level integers for the language!

Many thanks to the core team and maintainers for making this release possible.


So far, I've only shared this in the Discourse and over at Twitter but I wrote a library that implements functional dissections based on the functional pearl: Clowns to the left of me, jokers to the right (pearl): dissecting data structures by Conor McBride



A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.