文件名称：modal:Haskell 中的模态逻辑通过静态指针
文件大小：3KB
文件格式：ZIP
更新时间：2024-07-18 10:18:01
Haskell
模态 静态指针从 Haskell 中框模态的实现中获得了我们想要的 80%。 该项目包含一种伪造其他 20% 的数据类型。 也许这很有用。 我向你保证，如果这纯粹是偶然的。
【文件预览】：
modal-master
----LICENSE(1KB)
----src()
--------Data()
----Setup.hs(46B)
----modal.cabal(470B)
----.gitignore(107B)
----README.md(241B)