Skip to content

Be more explicit about usage of unsound language features#1

Merged
julienrf merged 2 commits intoscala:masterfrom
julienrf:fix-soundness
May 15, 2018
Merged

Be more explicit about usage of unsound language features#1
julienrf merged 2 commits intoscala:masterfrom
julienrf:fix-soundness

Commits

Commits on Apr 19, 2018

Commits on May 15, 2018