Follow

RT @typer_uma@twitter.com

me: these proofs are long and boring, i should maybe try to use agda's reflection api to automate them
agda:

🐦🔗: twitter.com/typer_uma/status/1

Sign in to participate in the conversation
Lesbiab Space

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