[commit: ghc] branch 'type-nats-simple' created

git at git.haskell.org git at git.haskell.org
Wed Sep 4 07:55:24 CEST 2013

Previous message: [commit: ghc] master: Make validate play nice with clang (for Xcode 5 command line tools) (fc4856f)
Next message: [commit: ghc] type-nats-simple: Add a new evidence constructor: CoAxiomRule (e27d1a8)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

New branch : type-nats-simple
Referencing: a8a59f75969603ba515ea77162ff07ac695c92a5

Previous message: [commit: ghc] master: Make validate play nice with clang (for Xcode 5 command line tools) (fc4856f)
Next message: [commit: ghc] type-nats-simple: Add a new evidence constructor: CoAxiomRule (e27d1a8)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the ghc-commits mailing list