文件名称：andromeda.hs:这是从OCaml到Haskell的Andrej Bauer依赖类型理论实现的直接移植
文件大小：11KB
文件格式：ZIP
更新时间：2024-06-05 01:38:15
Haskell
仙女座 这是从OCaml到Haskell的Andrej Bauer依赖类型理论实现的直接移植。 它基于分支 。
【文件预览】：
andromeda.hs-master
----README.markdown(219B)
----Andromeda()
--------Typing.hs(2KB)
--------Desugar.hs(1KB)
--------Main.hs(2KB)
--------Common.hs(1KB)
--------Input.hs(791B)
--------Norm.hs(1KB)
--------Parser.hs(4KB)
--------Print.hs(2KB)
--------Syntax.hs(3KB)
--------Context.hs(2KB)
----andromeda.cabal(461B)
----test.tt(740B)
----.gitignore(4B)