Block or Report
Block or report naplings
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
PLFA-zh Public
Forked from Agda-zh/PLFA-zh《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
Agda Creative Commons Attribution 4.0 International UpdatedMar 7, 2020