GitHub - msprotz/proof-search-monad: Tentative write-up of a neat trick used in the Mezzo type-checker · GitHub

Name		Name	Last commit message	Last commit date
lib		lib
paper		paper
pres		pres
.gitignore		.gitignore
Makefile		Makefile
_tags		_tags
combinators.ml		combinators.ml
combinators2.ml		combinators2.ml
derivations.ml		derivations.ml
derivations2.ml		derivations2.ml
example01.ml		example01.ml
example02.ml		example02.ml
example03.ml		example03.ml
tags		tags

About

Tentative write-up of a neat trick used in the Mezzo type-checker

15 stars

5 watching

Report repository

Releases

Packages

Contributors

Languages