Skip to content

[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus knock-on Function.Consequences#2599

Open
jamesmckinna wants to merge 15 commits into
agda:masterfrom
jamesmckinna:issue2581
Open

[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus knock-on Function.Consequences#2599
jamesmckinna wants to merge 15 commits into
agda:masterfrom
jamesmckinna:issue2581

Merge branch 'master' into issue2581

565a077
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Haskell-CI - Linux - ghc-9.14.1
succeeded Jul 2, 2026 in 2m 35s