文件名称：kombucha:系统T的定理证明者
文件大小：16KB
文件格式：ZIP
更新时间：2024-03-28 01:59:35
Haskell
kombucha:系统T的定理证明者
【文件预览】：
kombucha-main
----.gitignore(29B)
----app()
--------Main.hs(87B)
----src()
--------Kombucha()
----stack.yaml.lock(447B)
----examples()
--------communication.kmb(2KB)
--------basics.kmb(965B)
--------teleport.kmb(1KB)
----hie.yaml(256B)
----package.yaml(476B)
----test()
--------Kombucha()
--------Spec.hs(44B)
----stack.yaml(19B)