projects / ghc-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
update reference to compiler/coq subproject
2011-03-07 Adam Megaczupdate reference to compiler/coq subproject
 commit | commitdiff | tree
2011-03-07 Adam Megaczadd code for -dcoqpass, -fcoqpass, -ddump-coqpass
 commit | commitdiff | tree
2011-03-03 Adam MegaczMerge branch 'master' of /tmp/ghc-garrows; branch ...
commit | commitdiff | tree
2011-03-03 Adam Megaczrebase to ghc main repo
 commit | commitdiff | tree
2011-03-02 Adam Megaczfix compile error due to erroneous import
 commit | commitdiff | tree
2011-03-02 Adam MegaczInitial checkin of HetMet / -XModalTypes modifications
 commit | commitdiff | tree
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)