分享我在一次线上演讲所用的幻灯片，主题为 PLT Redex 和操作语义

[Minung]

幻灯片可从 https://git.sr.ht/~minung/redex_talk/tree/main/item/redex_talk.pdf 下载。

幻灯片使用 ConTeXt 制作，代码在 https://git.sr.ht/~minung/redex_talk/tree 可见。

很抱歉没有录像。