gosh the room hosting the introduction to Agda is overflowing with people! #36c3
@epi I have no idea but it didn't seem to be, it was in a small room
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!