lukegb/depot
1
0
Fork 0
Code Issues 1 Pull requests Projects Packages Activity Actions
depot/third_party/nixpkgs/pkgs/development/idris-modules/TODO.md
Default email 8ac5e011d6 Project import generated by Copybara. 
GitOrigin-RevId: 2c3273caa153ee8eb5786bc8141b85b859e7efd7
2020-04-24 19:36:52 -04:00

100 B
Raw Blame History

  • Build the RTS separately from Idris
  • idris2nix
  • Only require gmp, rts when compiling executables