Skip to content

[ irrelevant-projections ] clean version of #3012 - #3127

Open
jamesmckinna wants to merge 1 commit into
agda:masterfrom
jamesmckinna:unsafe-recompute-bis
Open

jamesmckinna wants to merge 1 commit into
agda:masterfrom
jamesmckinna:unsafe-recompute-bis

[ irrelevant-projections ] clean version of #3012

e12010d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
check-whitespace
succeeded Oct 19, 2026 in 17s