Hazel: A live functional programming environment with typed holes
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/<branch_name> Building and Running Hazel Short version If you already have ocaml version 5.2.0, at least version 2.0 of opa