idris-industry
Results
1
repositories owned by
idris-industry
ikan
34
Stars
3
Forks
Watchers
build tool and package manager for idris,in idris,with free monads
