Skip to content

improve interaction with subtyping in OptionOps#liftTo#2480

Merged
LukaJCB merged 4 commits intotypelevel:masterfrom mberndt123:masterSep 12, 2018

Commits

Commits on Sep 7, 2018