Skip to content

Latest commit

 

History

History
3 lines (3 loc) · 101 Bytes

TODO.md

File metadata and controls

3 lines (3 loc) · 101 Bytes
Raw
  • Build the RTS separately from Idris
  • idris2nix
  • Only require gmp, rts when compiling executables