Generalized Algebraic Data Types in OCaml

Name		Name	Last commit message	Last commit date
Latest commit History 64 Commits
.gitattributes		.gitattributes
.gitignore		.gitignore
README.md		README.md
build.sh		build.sh
existentials.ml		existentials.ml
first.ml		first.ml
gadts.ml		gadts.ml
handout.pdf		handout.pdf
index.html		index.html
package-lock.json		package-lock.json
package.json		package.json
publish.sh		publish.sh
slides.md		slides.md
system_f.ml		system_f.ml
variants.ml		variants.ml

Provide feedback