My attempts to learn Idris 2
Primary LanguageIdrisApache License 2.0Apache-2.0
No issues in this repository yet.