projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce15c63) | patch
fix compiler/coq submodule reference
authorAdam Megacz <adam@megacz.com>
Tue, 8 Mar 2011 05:48:54 +0000 (21:48 -0800)
committerAdam Megacz <adam@megacz.com>
Tue, 8 Mar 2011 05:48:54 +0000 (21:48 -0800)
commitb3aa38b3534e402a706712dc56c3990ebe1acd05
tree52dd8ae8a82516fee6d879db5c8f9715a16fee90tree | snapshot
parentce15c63e3e309ee175dfa5f4ad787c347c7dab1ccommit | diff
fix compiler/coq submodule reference
compiler/coq diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)