?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge pull request #119126 from fabaff/pycomfoconnect
[NixPkgs.git] / pkgs / development / idris-modules / TODO.md
blob41b0be2b2efa0cddeedb28e99d98ca6be9cf38cf
1 * Build the RTS separately from Idris
2 * idris2nix
3 * Only require gmp, rts when compiling executables
Nix packages repository - mirror of https://github.com/NixOS/nixpkgs