文件名称：invargent:使用GADT和存在项将不变量生成作为类型推断
文件大小：941KB
文件格式：ZIP
更新时间：2024-05-17 07:27:38
OCaml
使用GADT和存在项将不变量生成作为类型推断。 有关该项目的一些其他信息： : 该项目的论文： 。 （已提交）。 请参阅doc目录中的doc 。 Makefile目标和安装： make main # build the executable make docs # build the documentation make test # build and perform the tests, with stacktraces make testnative # build and perform the tests, faster sudo cp ./invargent /usr/local/bin/invargent # optionally, install executable make clean # remove the executable a