Idris-dev
A Dependently Typed Functional Programming Language
3k stars
120 watching
643 forks
Language: Haskell
last commit: about 2 months ago
Linked from 2 awesome lists
Idris-dev A Dependently Typed Functional Programming Language
krispo/awesome-haskell
joaomilho/awesome-idris