tsai1247 / plfa-zh Goto Github PK
View Code? Open in Web Editor NEWThis project forked from agda-zh/plfa-zh
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
Home Page: https://agda-zh.github.io/PLFA-zh/
License: Creative Commons Attribution 4.0 International