Skip to content

Fix to the definitions of min and max#1270

Merged
mortberg merged 1 commit into
agda:masterfrom
LorenzoMolena:min-fix
Dec 31, 2025
Merged

Fix to the definitions of min and max#1270
mortberg merged 1 commit into
agda:masterfrom
LorenzoMolena:min-fix

fix defintions of `min` and `max`, add comment on limitations of `Usi…

209a7d0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.