Follow

After *checks notes* 6 months, I finally finished another blog post!

This time I actually got it working without segmentation faults or undefined behavior.

I did discover a bug in GHC 9.2 though

prophetlabs.de/posts/insttypes

Sign in to participate in the conversation
types.pl

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