[commit: ghc] branch 'wip/T10832-generalised-injectivity' created

git at git.haskell.org git at git.haskell.org
Wed Dec 23 14:35:59 UTC 2015

Previous message: [commit: ghc] master: Test #10432 (f141f41)
Next message: [commit: ghc] wip/T10832-generalised-injectivity: Generalized injective type families (332bc0d)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Repository : ssh://git@git.haskell.org/ghc

New branch : wip/T10832-generalised-injectivity
Referencing: 332bc0d3af0a208ad310ce28cf798d4682423329

Previous message: [commit: ghc] master: Test #10432 (f141f41)
Next message: [commit: ghc] wip/T10832-generalised-injectivity: Generalized injective type families (332bc0d)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the ghc-commits mailing list