Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.



Looks like OP is building Hazel!


Yup, tylr is a minimal prototype, ala Hazelnut, intended to be adapted and integrated into Hazel (happening now!)


so he is!




Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: