TODO.md « idris-modules « development « pkgs - mirror/nixpkgs - Nix packages collection

index : mirror/nixpkgs

Nix packages collection

summary refs log tree commit diff

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

blob: 41b0be2b2efa0cddeedb28e99d98ca6be9cf38cf (plain) (blame)

1
2
3

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