Skip to content

[ new,pragma ] add %ensure_identity#3785

Open
CodingCellist wants to merge 3 commits into
idris-lang:mainfrom
CodingCellist:ensure-id-pragma
Open

[ new,pragma ] add %ensure_identity#3785
CodingCellist wants to merge 3 commits into
idris-lang:mainfrom
CodingCellist:ensure-id-pragma

[ warning ] Track number of transformation passes in %ensure_identity

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

Annotations

1 warning
Sphinx
succeeded May 22, 2026 in 38s