Agda-zh/PLFA-zh

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

语言：Haskell · GitHub 星标：221 · Fork：24

在 GitHub 上查看原仓库