Gitstar Ranking

idris-hackers / idrispkgs

Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs! - View it on GitHub
https://github.com/NixOS/nixpkgs/tree/master/pkgs/development/idris-modules
Star
28
Rank
692803