文件名称：the-thoralf-plugin：这是一个类型检查器插件，用于使用smt求解器统治所有涉及类型平等推理的类型检查器插件
文件大小：51KB
文件格式：ZIP
更新时间：2024-02-23 19:49:42
haskell smt ghc typechecker-plugin HaskellHaskell
the-thoralf-plugin：这是一个类型检查器插件，用于使用smt求解器统治所有涉及类型平等推理的类型检查器插件
【文件预览】：
the-thoralf-plugin-master
----.travis.yml(5KB)
----test-suite-rows()
--------Nat.hs(2KB)
--------Main.hs(146B)
--------FiniteMaps.hs(2KB)
--------RowTypes.hs(2KB)
----stack.yaml(68B)
----DOCUMENTATION.md(16KB)
----_config.yml(25B)
----thoralf-plugin.cabal(3KB)
----z3()
--------union.z3(2KB)
--------logic.z3(160B)
----LICENSE(1KB)
----TODO.md(318B)
----src()
--------DESIGN.md(1KB)
--------ThoralfPlugin()
--------Data()
----Setup.hs(46B)
----.gitignore(219B)
----stack.yaml.lock(715B)
----README.md(939B)
----ChangeLog.md(115B)
----presentation()
--------presentation.html(47KB)
--------slides.md(11KB)
--------Makefile(126B)
--------README.md(138B)
----test-suite-units()
--------UoM.hs(1KB)
--------Main.hs(472B)