agda-machines：Agda中的可组合状态机

【文件属性】：

文件名称：agda-machines：Agda中的可组合状态机

文件大小：2KB

文件格式：ZIP

更新时间：2024-03-17 19:27:45

Agda

Agda中的可组合状态机

【文件预览】：
agda-machines-main
----Machine.agda(1KB)
----To do.md(292B)
----.gitignore(8B)
----readme.md(34B)