issues
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
Fixed some typos
#980
Closed
OlingCat
closed
6 months ago
wadler
commented
6 months ago
Thank you!
Thank you!