Continuing posting things I have made to try and #GetFediHired . This time, it's Covenant: a Turner-total, call-by-push-value, hash-consed IR, implemented in pure #Haskell https://hackage.haskell.org/package/covenant

This was a _very_ challenging project. I not only helped win the funding that made it happen, I also had to solve multiple theoretical and practical problems while doing so. It was however, very fun, and I even had Paul Levy drop in once to meet the team!