idris-hackers / idrispkgs Goto Github PK
View Code? Open in Web Editor NEWOld Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
Home Page: https://github.com/NixOS/nixpkgs/tree/master/pkgs/development/idris-modules
License: MIT License