Skip to content

[ discussion ] alternative design for Algebra.Structures.IsX and Algebra.Properties.X#2762

Draft
jamesmckinna wants to merge 1 commit into
agda:masterfrom
jamesmckinna:refactor-structures+properties
Draft

[ discussion ] alternative design for Algebra.Structures.IsX and Algebra.Properties.X#2762
jamesmckinna wants to merge 1 commit into
agda:masterfrom
jamesmckinna:refactor-structures+properties

draft: alternative design for `Structures` and `Properties`

cf5e29f
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.