[commit: ghc] branch 'decision-procedure' created
git at git.haskell.org
git at git.haskell.org
Thu Oct 17 09:15:47 UTC 2013
Repository : ssh://git@git.haskell.org/ghc
New branch : decision-procedure
Referencing: 74144ddd477484466c30ec0788d2bc8161e9d723
More information about the ghc-commits
mailing list