re: kinda long code block image w/o alt text 

alternatively:

Still not sure of a good alternative for where

Show thread

re: kinda long code block image w/o alt text 

oh my god how did it end up being this fucking quirky hahahahaha

Show thread

kinda long code block image w/o alt text 

Tentative syntax for my not-so-secret compiler project.

currently messing with: type checking do blocks before desugaring them

I wasn't expecting to write legible code at 3 AM, but here we are.

I should catch some sleep.

I should find the time to write about using prisms for pattern matching.

types.pl

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