Follow

it's nice doing really abstract math because it means that I can't work on a problem for a week and the answer turns out to be, like, 2

· · Web · 2 · 1 · 7

this literally happened to me by the way

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.