Tutorials and Documentation🔗

• Experimenting with Languages in Redex. An introduction to modeling programming languages in PLT Redex.

• Normalization by Evaluation Four Ways: Reconstructing NbE Designs from First Principles. An introduction to the design space of normalization by evaluation.

• How to Hash-lang. An introduction to designing and implementing hash-langs in Racket, focusing on first implementing a language, and lazily introducing required macro and metaprogramming concepts.