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.

discourse.purescript.org/t/pur

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

github.com/PureFunctor/purescr

types.pl

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