Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
master
branch
algebraic-subtyping
clean-up-language
coercion-simplifications
fix-skeleton-apply
gh-pages
master
partial-optimizations
structural-records
tag
v5.1
v5.0
v4.0
v3.0
oopsla-2021Artifact
eff
Name
matijapretnar's repositories
.github
docs
etc
examples
misc
ocamlHeader
src
tests
.gitignore
.ocamlformat
LICENSE.txt
Makefile
README.markdown
dune-project
eff.opam