Random idris excercises that are not worthy of their own repos
Primary LanguageIdris
No issues in this repository yet.