Name		Name	Last commit message	Last commit date
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

Repository files navigation

Incremental Hazelnut

This repo contains the code for incremental Hazelnut.

About

Code and formalism for incremental hazelnut

Custom properties

1 star

5 watching

Report repository

Releases

Packages

Contributors

Languages