Yet another fix to confluence

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

Closed jsiek closed 7 months ago

jsiek commented 7 months ago

Sorry, another pull... found a sentence that might also be problematic.