├── .gitignore ├── .travis.yml ├── LICENSE ├── coq-type-infer.opam ├── dune-project └── theories ├── Term.v ├── TypeSafety.v ├── Types.v ├── Typing.v ├── Util.v └── dune /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fetburner/type-infer/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fetburner/type-infer/HEAD/LICENSE -------------------------------------------------------------------------------- /coq-type-infer.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fetburner/type-infer/HEAD/coq-type-infer.opam -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fetburner/type-infer/HEAD/dune-project -------------------------------------------------------------------------------- /theories/Term.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fetburner/type-infer/HEAD/theories/Term.v -------------------------------------------------------------------------------- /theories/TypeSafety.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fetburner/type-infer/HEAD/theories/TypeSafety.v -------------------------------------------------------------------------------- /theories/Types.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fetburner/type-infer/HEAD/theories/Types.v -------------------------------------------------------------------------------- /theories/Typing.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fetburner/type-infer/HEAD/theories/Typing.v -------------------------------------------------------------------------------- /theories/Util.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fetburner/type-infer/HEAD/theories/Util.v -------------------------------------------------------------------------------- /theories/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fetburner/type-infer/HEAD/theories/dune --------------------------------------------------------------------------------