Follow

So to learn Agda to complete my course I'm now speedrunning category theory and intuitionist logic

Sign in to participate in the conversation
SN.Angry.Im

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!