3 ms·
https://hazel.org https://hazel.org has been on this beat for some time as well, and have the proofs to back it up. Hazel is a live functional programming envi
by hprotagonist 5y ago
https://hazel.org https://hazel.org has been on this beat for some time as well, and have the proofs to back it up.
Hazel is a live functional programming environment that is able to typecheck, manipulate, and even run incomplete programs, i.e. programs with holes. There are no meaningless editor states.
- cwackerfuss 5y agoLooks like OP is building Hazel!
- hprotagonist 5y agoso he is!
- cyrus_ 5y agoYup, tylr is a minimal prototype, ala Hazelnut, intended to be adapted and integrated into Hazel (happening now!)