Follow

I have learned that doing any mathematics in type theory requires you to be a genius

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

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