You know that guy who is always like "my cabbages!" in Avatar? That's me but it's "my de Bruijn indices!"

types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.