跳到主要内容
buildradar
Sign in

plfa/plfa.github.io

@plfa

在 Agda 中介绍编程语言理论

星数
1,514
Fork 数
353
语言
Agda
许可
CC-BY-4.0
最后推送
1周前
Agdaproof-assistantbookprogramming-languages

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。