mokshasoft / bare-metal-idris-apps

Idris apps that run on bare-metal

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.