Skip to content

Enhancement to Relation.Nullary.Reflects etc. - #2149

Closed
jamesmckinna wants to merge 36 commits into
agda:masterfrom
jamesmckinna:reflects-bis
Closed

Enhancement to Relation.Nullary.Reflects etc.#2149
jamesmckinna wants to merge 36 commits into
agda:masterfrom
jamesmckinna:reflects-bis

`UIP` in terms of `recompute`

16776b5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs