Skip to content

Refactor Data.List.Relation.Binary.Permutation.*, part I#2333

Merged
MatthewDaggitt merged 42 commits into
agda:masterfrom
jamesmckinna:permutation-refactor
Sep 28, 2024
Merged

Refactor Data.List.Relation.Binary.Permutation.*, part I#2333
MatthewDaggitt merged 42 commits into
agda:masterfrom
jamesmckinna:permutation-refactor

Merge branch 'master' into permutation-refactor

901310f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs