On 2015-10-22 at 19:06, quoth Eric Bavier: > Great! I'll take one last look, then I think we can merge. WDYT?
FYI, i've pushed the changes to wip-haskell-… now. Only idris, xmonad, ghc-split are affected compared to the push you were looking at. Thanks again, where do i send the bottle of wine? :p p.