search

idris-hackers / idrispkgs

Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
https://github.com/NixOS/nixpkgs/tree/master/pkgs/development/idris-modules
MIT License
28 stars 4 forks source link

merge into nixpkgs #5

Open langston-barrett opened 8 years ago

langston-barrett commented 8 years ago

I am currently building and maintaining Idris packages for NixOS in nixpkgs. We've got some documentation over there on writing nix-expressions for Idris, and functions that make it easier. What say we combine efforts?

https://github.com/NixOS/nixpkgs/tree/master/pkgs/development/idris-modules