mokshasoft/sel4-idris-apps

Example of Idris applications running on the seL4 microkernel

IdrisNOASSERTION