regex:Agda 中的决策程序练习

【文件属性】：

文件名称：regex:Agda 中的决策程序练习

文件大小：3KB

文件格式：ZIP

更新时间：2024-06-27 00:22:20

Agda

正则表达式 用 Agda 编写的经过验证的正则表达式匹配器。 目前终止，但 Agda 不相信我。

【文件预览】：
regex-master
----.gitignore(8B)
----Split.agda(3KB)
----Regex.agda(6KB)
----README.md(102B)