Verified Extended Parsing Expression Grammars in Idris 2
MIT LicenseMIT
Verified Parsing Expression Grammars in Idris 2