issues
search
Agda-zh
/
PLFA-zh
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
https://agda-zh.github.io/PLFA-zh/
Creative Commons Attribution 4.0 International
204
stars
22
forks
source link
DeBruijn
#166
Open
OlingCat
opened
7 months ago
OlingCat
commented
7 months ago
[x] 初译
[ ] 初校