lampepfl/dotty — pull request #80 by DarkDimius (2014-03-18 14:53:17+00:00)
Title: Allow MiniPhase to be DenotTransformer & LazyVals

Finally :-)
@odersky, @sjrd please review