GitHub - querycert/bug0007833: Documents regression in OCaml type checker · GitHub

This repository was archived by the owner on Mar 11, 2022. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.gitignore		.gitignore
Makefile		Makefile
large.ml		large.ml
larger.ml		larger.ml

About

Documents regression in OCaml type checker

Custom properties

0 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages