plfa

plfa/plfa.github.io

An introduction to programming language theory in Agda

1 good first / help-wanted issue · Agda · last activity Sep 7, 2025

1.5K stars 336 forks 1.5K watchers Agda Creative Commons Attribution 4.0 International
book programming-languages proof-assistant
View on GitHub Website
1 Open Issue Need Help Last updated: Sep 7, 2025

Open Issues Need Help

View All on GitHub
Copatterns and left-programming about 1 year ago
enhancement help wanted low-hanging-fruit agda
plfa/plfa.github.io
1.5K

An introduction to programming language theory in Agda

Agda
#book#programming-languages#proof-assistant