The core boot and build infrastructure to create Idris bare-metal apps
Primary LanguageCOtherNOASSERTION