文件名称：chocolate:谈论Haskell中的古典逻辑和抽象代数
文件大小：14KB
文件格式：ZIP
更新时间：2024-06-11 04:06:07
Haskell
巧克力 在Haskell中谈论古典逻辑和抽象代数。 古典逻辑 逻辑有效性 逻辑连接词 逻辑对等 量词程序 ... 抽象代数 戒指 团体 循环的 单体 阿比良 半环 半群 PartialOrd 有界格 无限格 ...
【文件预览】：
chocolate-master
----logichs.cabal(2KB)
----package.yaml(1KB)
----test()
--------Spec.hs(56B)
----stack.yaml(2KB)
----LICENSE(1KB)
----app()
--------Main.hs(1KB)
----src()
--------Ring.hs(3KB)
--------Groups.hs(3KB)
--------Lattice.hs(12KB)
--------UsefulEquivalence.hs(2KB)
--------Logic.hs(2KB)
----Setup.hs(46B)
----.gitignore(29B)
----stack.yaml.lock(541B)
----README.md(337B)
----ChangeLog.md(47B)