文件名称：lambek-monad
文件大小：33KB
文件格式：ZIP
更新时间：2024-06-06 03:05:19
Haskell
介绍 只需使用Cabal构建： cabal install 用法 从命令行运行定理证明者，将词汇作为参数传递（回购中有一个示例“词典”文件）： lambek-monad lexicon 将您的浏览器指向并尝试输入一个后续项（左手边是一个句子，右手边是目标公式）。 前任： John doesnt_believe Hesperus is Phosphorus => <>s
【文件预览】：
lambek-monad-master
----XHTML.hs(4KB)
----.gitignore(952B)
----LatexMain.hs(2KB)
----Parsers.y(3KB)
----README.md(455B)
----Tokenizer.x(3KB)
----Setup.hs(46B)
----LICENSE(1KB)
----Test.hs(3KB)
----lexicon(724B)
----Latex.hs(3KB)
----lambek-monad.cabal(3KB)
----DataTypes.hs(5KB)
----Main.hs(10KB)
----Evaluator.hs(1KB)
----TP.hs(19KB)
----data()
--------day5_lexicon(1KB)
--------model_prefix_with_db(4KB)
--------def_lexicon(1KB)
--------day4_lexicon(404B)
--------day2_model(365B)
--------day1_model(447B)
--------day4_model(702B)
--------day2_notes.html(491B)
--------day1_lexicon(679B)
--------day2_lexicon(379B)
--------day3_model(321B)
--------day3_lexicon(524B)
--------day4_notes.html(1KB)
--------day3_notes.html(616B)
--------day1_notes.html(3KB)
--------model_prefix(4KB)
--------day5_model(1KB)
--------day5_notes.html(30B)
--------style.css(3KB)
--------def_model(1KB)