search

Agda-zh / PLFA-zh

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
https://agda-zh.github.io/PLFA-zh/
Creative Commons Attribution 4.0 International
201 stars 21 forks source link

[pre-commit.ci] pre-commit autoupdate #192

Closed pre-commit-ci[bot] closed 2 months ago

pre-commit-ci[bot] commented 2 months ago

updates: