Skip to content

types: alpha-rename imported schemes into the consumer's id space - #27

Merged
simontreanor merged 1 commit into
mainfrom
fix/imported-scheme-tyvar-collision
Jul 30, 2026
Merged

types: alpha-rename imported schemes into the consumer's id space#27
simontreanor merged 1 commit into
mainfrom
fix/imported-scheme-tyvar-collision

types: alpha-rename imported schemes into the consumer's id space

a40885f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
e2e (ubuntu-latest)
succeeded Jul 30, 2026 in 38s