[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