ikan
build tool and package manager for idris,in idris,with free monads
34 stars
6 watching
3 forks
Language: Idris
last commit: over 5 years ago
Linked from 1 awesome list
free-monadsidrispackage-manager
ikan build tool and package manager for idris,in idris,with free monads
joaomilho/awesome-idris