typecaseunion.github.io

Online prototype for Typecase + Union = Occurrence Typing

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
1.ml		1.ml
10.ml		10.ml
2.ml		2.ml
3.ml		3.ml
4.ml		4.ml
5.ml		5.ml
5dot5.ml		5dot5.ml
6.ml		6.ml
7.ml		7.ml
8.ml		8.ml
9.ml		9.ml
LICENSE		LICENSE
README.md		README.md
index.html		index.html
prototype_js.js		prototype_js.js
records.ml		records.ml
sources.js		sources.js

Provide feedback