Skip to content

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

Merged
JacquesCarette merged 22 commits into
agda:masterfrom
jamesmckinna:vec-bounded-bis
Jun 17, 2024
Merged

Remove (almost!) all external use of _≤″_ beyond Data.Nat.*#2262
JacquesCarette merged 22 commits into
agda:masterfrom
jamesmckinna:vec-bounded-bis

remove comment about guarded monus

a26a9c3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs