fixed Induction and Equality for new equality chains

plfa / plfa.github.io

An introduction to programming language theory in Agda

https://plfa.github.io

Creative Commons Attribution 4.0 International

1.37k stars 315 forks source link

Closed wadler closed 2 months ago

wadler commented 2 months ago

Fixed some problems related to upgrade to agda-stdlib 2.1.

As well as fixes for the new library, also improved some text in Chapter Equalities.