Skip to content

[fixes #1363] Add Algebra.Literals#2264

Closed
jamesmckinna wants to merge 2 commits into
agda:masterfrom
jamesmckinna:pointed-monoid-literals
Closed

[fixes #1363] Add Algebra.Literals#2264
jamesmckinna wants to merge 2 commits into
agda:masterfrom
jamesmckinna:pointed-monoid-literals

Merge branch 'master' into pointed-monoid-literals

1ac3d52
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs