hazel is an open source programming language created in 2016 by Cyrus Omar.
git clone https://github.com/hazelgrove/hazel
#1214on PLDB | 7Years Old |
Hazel is a live functional programming environment rooted in the principles of type theory.
let v = {} in
v : num
Feature | Supported | Token | Example |
---|---|---|---|
Typed Holes | ✓ |