/Idris2

A purely functional programming language with first class types

Primary LanguageIdrisOtherNOASSERTION

Watchers