bare-metal-idris-apps Idris apps that run on bare-metal How to use this repository? See build instructions, etc in the project repository, idris-bare-metal-manifest.