* Build the RTS separately from Idris
* idris2nix
* Only require gmp, rts when compiling executables
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.