Last week's notes:
There's a lot in there, this was a long one. Some highlights:
- Qi's error messages with deforestation are better than Racket's and "even better than Qi"
- "Tower of languages" vs "compiler macros" as ways to extend the Qi compiler (esp. for deforesting all of
racket/list) - We've adopted some suggestions from the community for testing the compiler (cc @gus-massa @samth @stamourv -- btw, we still hope to adopt the "logging" approach to trace compilation, but haven't gotten there yet!)
- Cameo appearance by Typed Qi @scolobb @NoahStoryM