/incremental-hazelnut

Code and formalism for incremental hazelnut

Primary LanguageReason

Incremental Hazelnut

This repo contains the code and formalism for ideas around incremental Hazelnut.

Formalism

To compile the formalism:

make formalism.pdf