lightyear

Parser combinators for Idris

238 stars

14 watching

43 forks

Language: Idris

last commit: over 5 years ago

Linked from 1 awesome list

Backlinks from these awesome lists:

joaomilho/awesome-idris