Skip to content

[ new ] Dot inferred patterns in erased functions#3722

Open
spcfox wants to merge 12 commits into
idris-lang:mainfrom
spcfox:dot-inferred
Open

[ new ] Dot inferred patterns in erased functions#3722
spcfox wants to merge 12 commits into
idris-lang:mainfrom
spcfox:dot-inferred

Commits

Commits on Feb 3, 2026