projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f07b01e) | patch
update reference to compiler/coq subproject
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 7 Mar 2011 20:29:30 +0000 (12:29 -0800)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 7 Mar 2011 20:29:30 +0000 (12:29 -0800)
commit9e5a454cd78650a0c9e2a859693ee1af056b3fb9
tree03b9a11e04361d5ef99646c3f7d7518261929b04tree | snapshot
parentf07b01e57f4c08a68e22eb81f25c865d1d7c15c3commit | diff
update reference to compiler/coq subproject
compiler/coq diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)