projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aee44bb) | patch
use compiler/coq/Makefile to decide if "git submodule update" is required
authorAdam Megacz <adam@megacz.com>
Mon, 7 Mar 2011 19:35:53 +0000 (11:35 -0800)
committerAdam Megacz <adam@megacz.com>
Mon, 7 Mar 2011 19:35:53 +0000 (11:35 -0800)
commitf07b01e57f4c08a68e22eb81f25c865d1d7c15c3
tree8bb8624857881d32c1ceac3a80f18d5ca7d0d200tree | snapshot
parentaee44bbe090c356d649398a93e260d967a7c50dbcommit | diff
use compiler/coq/Makefile to decide if "git submodule update" is required
ghc.mk diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)