Skip to content

Rename EitherT.liftT to EitherT.liftF#1947

Merged
LukaJCB merged 6 commits intotypelevel:masterfrom aeons:eithert-liftfOct 10, 2017

Commits

Commits on Oct 3, 2017

Commits on Oct 4, 2017