文件名称：catt:无限分类相干类型检查器
文件大小：80KB
文件格式：ZIP
更新时间：2024-06-01 04:03:29
OCaml
Catt-无限分类一致性类型检查器 Catt是用于相干性的类型系统的实现。 为了对其进行测试，您可以尝试。 这种类型检查器是用OCaml编写的，如果您希望使用优雅的Haskell，请查看。
【文件预览】：
catt-master
----docs()
--------ocamldoc()
--------catt.js(132KB)
--------catt.css(556B)
--------index.html(3KB)
--------Makefile(302B)
----src()
--------common.ml(2KB)
--------catt.html(18B)
--------eh.catt(6KB)
--------lexer.mll(636B)
--------catt.css(16B)
--------catt.ml(1KB)
--------web.ml(2KB)
--------langExt.ml(2KB)
--------prover.ml(2KB)
--------parser.mly(2KB)
--------test.catt(4KB)
--------.gitignore(72B)
--------Makefile(585B)
--------lang.ml(25KB)
--------old.catt(638B)
--------stdlib.ml(2KB)
--------OCamlMakefile(35KB)
----.gitignore(38B)
----Makefile(21B)
----README.md(466B)
----catt-mode.el(1KB)