[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