Open Issues Need Help
View All on GitHub Copatterns and left-programming 2 months 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