Skip to content

Prefix RefC internal names to disambiguate#3765

Merged
dunhamsteve merged 10 commits into
idris-lang:mainfrom
joelberkeley:prefix-refc
Apr 15, 2026
Merged

Prefix RefC internal names to disambiguate#3765
dunhamsteve merged 10 commits into
idris-lang:mainfrom
joelberkeley:prefix-refc

Commits

Commits on Apr 6, 2026

Commits on Apr 7, 2026

Commits on Apr 15, 2026