【文件属性】：
文件名称：invargent:使用GADT和存在项将不变量生成作为类型推断
文件大小：941KB
文件格式：ZIP
更新时间：2021-04-27 13:40:58
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