A tool to verify types inferred by OCaml
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
autoconf
tools/ocp-typechecker
.gitignore
.travis-ci.sh
.travis-install.sh
.travis.yml
AUTHORS
LICENSE
Makefile
build.ocp
configure
descr
ocp-autoconf.ac
ocp-autoconf.config
ocp-autoconf.files
opam