* Build the RTS separately from Idris
* idris2nix
* Only require gmp, rts when compiling executables
Chunks
332fad57 (1st chunk of `pkgs/development/idris-modules/TODO.md`)
Title: Idris Build and Compilation Improvements
Summary
This section outlines potential improvements to the Idris build process, including building the RTS (Runtime System) independently, using 'idris2nix', and reducing dependencies to only GMP and RTS during executable compilation.