projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c6d61e) | patch
thread wired-in names of GHC.HetMet.Private.* through to Coq code
authorAdam Megacz <adam@megacz.com>
Mon, 9 May 2011 04:24:04 +0000 (21:24 -0700)
committerAdam Megacz <adam@megacz.com>
Mon, 9 May 2011 04:24:04 +0000 (21:24 -0700)
commitd05212cf8475778cf41758c04f4eee510ae47e98
treec38879e3df1abb16d21a86f17b55d9ee4e826b2atree | snapshot
parent1c6d61ee06972de3c4797e1925e265f7dc7c361ccommit | diff
thread wired-in names of GHC.HetMet.Private.* through to Coq code
compiler/deSugar/Desugar.lhs diff | blob | history
compiler/hetmet diff | blob | history
compiler/prelude/PrelNames.lhs diff | blob | history
libraries/base diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)