文件名称：idris-tparsec:TParsec-Idris中的总解析器组合器
文件大小：50KB
文件格式：ZIP
更新时间：2024-06-12 07:44:30
parser-combinators idris Idris
TParsec-Idris中的总解析器组合器 这是到伊德里斯的港口。
【文件预览】：
idris-tparsec-master
----.gitignore(40B)
----src()
--------Induction()
--------Relation()
--------Examples()
--------Data()
--------TParsec.idr(366B)
--------TParsec()
----.travis.yml(968B)
----TParsec.ipkg(686B)
----LICENSE(34KB)
----README.md(165B)
----elba.toml(807B)