My personal project and infrastructure archive
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
- Build the RTS separately from Idris
- idris2nix
- Only require gmp, rts when compiling executables