PhD student at NEU, work on Julia but Haskell is one love
You know that guy who is always like "my cabbages!" in Avatar? That's me but it's "my de Bruijn indices!"
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.