Skip to content

changed index '9' to '0' in match types / dependent typing example#2207

Merged
SethTisue merged 2 commits intoscala:mainfrom
peter-nuernberg:main
Oct 25, 2021
Merged

changed index '9' to '0' in match types / dependent typing example#2207
SethTisue merged 2 commits intoscala:mainfrom
peter-nuernberg:main

Commits