GitHub - plait-lab/simplify-types: Compile refinements into simple types

Name		Name	Last commit message	Last commit date
Latest commit History 99 Commits
.gitignore		.gitignore
Makefile		Makefile
bark.ml		bark.ml
bark.mli		bark.mli
demo.ml		demo.ml
demo.txt		demo.txt
enumerate.ml		enumerate.ml
examples.md		examples.md
examples.ml		examples.ml
lang.ml		lang.ml
parse.ml		parse.ml
parse.mli		parse.mli
parse_tests.ml		parse_tests.ml
simplify.ml		simplify.ml
unparse.ml		unparse.ml
utils.ml		utils.ml