TODO.md « idris-modules « development « pkgs « nixpkgs « libkookie « infra - kookienomicon - My personal project and infrastructure archive

about summary refs log tree commit diff

path: root/infra/libkookie/nixpkgs/pkgs/development/idris-modules/TODO.md

blob: 41b0be2b2efa0cddeedb28e99d98ca6be9cf38cf (plain)

1
2
3

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