1. 6

    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!

    1. 4

      He also gave a talk on Hazel at Strange Loop in 2018, which was really great, and recorded!

      https://youtu.be/UkDSL0U9ndQ

    1. 4

      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!