/Idris-dev

A Dependently Typed Functional Programming Language

Primary LanguageHaskellOtherNOASSERTION

Watchers