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
explain Subst and Rename in Confluence chapter
#1022
Closed
jsiek
closed
2 months ago
jsiek
commented
2 months ago
Addressing issue #1019.
wadler
commented
2 months ago
Looks good!
Addressing issue #1019.