A basic Parser-Combinator library in Idris.
Primary LanguageIdrisThe UnlicenseUnlicense
No issues in this repository yet.