Skip to content

Add Algebra.Action.* and friends#2350

Draft
jamesmckinna wants to merge 49 commits into
agda:masterfrom
jamesmckinna:monoid-action
Draft

Add Algebra.Action.* and friends#2350
jamesmckinna wants to merge 49 commits into
agda:masterfrom
jamesmckinna:monoid-action

Merge branch 'agda:master' into monoid-action

1a18f67
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.