Skip to content

remove comment about guarded monus

a26a9c3
Select commit
Loading
Failed to load commit list.
Merged

Remove (almost!) all external use of _≤″_ beyond Data.Nat.* #2262

remove comment about guarded monus
a26a9c3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs