Hazel
Hazel is a live functional-programming environment rooted in the principles of type theory. You can find the relevant papers and more motivation at the Hazel website.
You can try Hazel online: the dev branch is the main branch at the moment. Every other branch that has been pushed to GitHub and successfully builds can also be accessed at:
https://hazel.org/build/
Building and Running Hazel
Short version
If you already have ocaml version 5.2.0, at least version 2.0 of opam , and npm installed, you can build Hazel by running the following commands.
git clone [email protected]:hazelgrove/hazel.git
cd hazel
make deps
... continue reading