Incremental Hazelnut

This repo contains the code for incremental Hazelnut.

Name		Name	Last commit message	Last commit date
Latest commit History 329 Commits
app		app
bin		bin
eval		eval
hazelnut		hazelnut
monad		monad
simple_test		simple_test
test		test
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
dune		dune
dune-project		dune-project
incremental-hazelnut.opam		incremental-hazelnut.opam
profile.json		profile.json
xaa		xaa

Provide feedback