agda type-theory 学点理论
标题:Programming Language Foundations in Agda 地址:https://plfa.github.io/
标题:Programming Language Foundations in Agda
地址:https://plfa.github.io/
PLFA 准备篇 Sat, 2022/04/16