Follow

"number theory is like IHOP -- you never actually decide to go there, you just end up there"

· · Web · 0 · 1 · 6
Sign in to participate in the conversation
types.pl

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