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

fix sub-abs in summary of the sigma algebra #1014

Closed jsiek closed 2 months ago

jsiek commented 2 months ago

fixes issue #1013

wadler commented 2 months ago

Wow, that was fast!