i really wish agda let you put implicit arguments in any order if you do them by name, which is always

Sign in to participate in the conversation

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.