idris-hackers / idrispkgsLinks

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

Sorting: