Cyrus Omar gave a presentation about Hazel at my school, and it was really cool! There already exists a working prototype, and the really cool part is that the team has formalized and proven theorems about the Hazel editor / language (maybe even in a formal verification system, but that I’m not sure about). It’s a really cool project!
He also gave a talk on Hazel at Strange Loop in 2018, which was really great, and recorded!
The entire compiler series has been posted here in the past, so I thought
I’d post a new addition to the series. Hope it’s useful!