idris-hackers / idrispkgs

Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
28Updated 9 years ago

Alternatives and similar repositories for idrispkgs:

Users that are interested in idrispkgs are comparing it to the libraries listed below