openlang
Languages/Dependent types

Idris 2

Interests

Program constraints expressed in types

Documentation

Voices in this language

Conversations

0
No conversations here yet.