re: type theory in a nutshell 

re: type theory in a nutshell 

type theory in a nutshell, bot 

type theory in a nutshell 

Sign in to participate in the conversation
Cybrespace

Cybrespace is an instance of Mastodon, a social network based on open web protocols and free, open-source software. It is decentralized like e-mail.