Skip to content

Realizability: extra tests and code fix from #5558#5726

Merged
Blaisorblade merged 4 commits intoscala:masterfrom
dotty-staging:realizability-stray-tests
Jan 18, 2019
Merged

Realizability: extra tests and code fix from #5558#5726
Blaisorblade merged 4 commits intoscala:masterfrom
dotty-staging:realizability-stray-tests

Commits

Commits on Jan 17, 2019