文件名称：hashcons:类型安全的模块化哈希
文件大小：3KB
文件格式：ZIP
更新时间：2024-05-24 20:30:18
OCaml
类型安全的模块化哈希 Filliatre和Conchon在“介绍的哈希处理方案的最小工作实现。 要构建和运行代码，只需运行以下命令： corebuild main.byte && ./main.byte
【文件预览】：
hashcons-master
----.gitignore(583B)
----hashCons.ml(862B)
----hashCons.mli(331B)
----main.ml(130B)
----lambda.mli(231B)
----lambda.ml(746B)
----README.md(327B)