search

plfa / plfa.github.io

An introduction to programming language theory in Agda
https://plfa.github.io
Creative Commons Attribution 4.0 International
1.36k stars 307 forks source link

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

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

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

updates: