[commit: base] data-proxy's head updated: Merge branch 'master' into data-proxy (5b8c2b9)

Richard Eisenberg eir at ghc.haskell.org
Wed Jul 24 13:41:35 CEST 2013


Repository : http://darcs.haskell.org/ghc.git/

Branch 'data-proxy' now includes:

     365b9d8 Implement "TypeLevelReasoning" proposal at wiki:TypeLevelReasoning
     5b8c2b9 Merge branch 'master' into data-proxy




More information about the ghc-commits mailing list