idris-config
Parsers for various configuration files written in Idris.
Archived
19 stars
4 watching
7 forks
Language: Idris
last commit: about 7 years ago
Linked from 1 awesome list
idris-config Parsers for various configuration files written in Idris.
joaomilho/awesome-idris