openlang
Languages/Dependent types

Agda

Interests

Programs and proofs

Documentation

Voices in this language

Conversations

0
No conversations here yet.