文件名称：agdarsec:阿格达的总解析器组合器
文件大小：90KB
文件格式：ZIP
更新时间：2024-06-17 16:57:59
parser-combinators agda Agda
agdarsec-Agda中的总解析器组合器 关于agdarsec的动机和设计决策的详细信息如下： 为核心设计 汇编 要对项目进行类型检查和编译，您将需要： Agda 2.6.1.1版 Agda的标准库（开发版） 港口 我已将此库移植到其他依赖类型的语言： 是前往的港口 和一起给
【文件预览】：
agdarsec-master
----.gitignore(67B)
----README.md(853B)
----travis()
--------libraries(50B)
--------install_agda.sh(468B)
----examples()
--------SExp.agda(3KB)
--------Large.agda(2KB)
--------Base.agda(4KB)
--------README.agda(169B)
--------RegExp.agda(4KB)
--------STLC.agda(6KB)
--------NList.agda(2KB)
--------Expr.agda(2KB)
--------Parentheses.agda(2KB)
--------Identifier.agda(570B)
----LICENSE(34KB)
----src()
--------Data()
--------Induction()
--------Text()
--------Level()
--------Relation()
----index.agda(874B)
----doc()
--------brouwer17()
--------jfla18()
--------paper()
----.travis.yml(1020B)
----agdarsec.agda-lib(53B)