projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix haddock submodule pointer
[ghc-hetmet.git] / compiler / hetmet
2014-04-13 Adam Megaczupdate submodules commit | commitdiff
2012-04-20 Adam Megaczupdate submodules for GHC.HetMet.GArrow -> Control... commit | commitdiff
2011-10-04 Adam Megaczallow either <[]> or <{}> at the type level commit | commitdiff
2011-10-02 Adam Megaczswap <[]> and <{}> syntax commit | commitdiff
2011-09-01 Adam Megaczadd support for <{..}> and ~~> syntax as well as typing... commit | commitdiff
2011-08-30 Adam Megaczupdate submodule pointers commit | commitdiff
2011-07-04 Adam Megaczupdate submodule pointers commit | commitdiff
2011-06-21 Adam Megaczupdate submodule pointers commit | commitdiff
2011-06-20 Adam Megaczupdate submodule pointers commit | commitdiff
2011-06-20 Adam Megaczupdate submodule pointers commit | commitdiff
2011-06-19 Adam Megaczupdate submodule pointers commit | commitdiff
2011-06-19 Adam Megaczput coqPassCoreToCore on the CoreM monad, greatly simpl... commit | commitdiff
2011-06-18 Adam Megaczminimize impact on PrelNames commit | commitdiff
2011-06-15 Adam Megaczadapt to upstream changes commit | commitdiff
2011-06-14 Adam Megaczupdate submodule pointer commit | commitdiff
2011-06-02 Adam Megaczadd support for flattening recursive-let commit | commitdiff
2011-05-31 Adam Megaczadapt HetMet extensions to new GHC coercion representation commit | commitdiff
2011-05-31 Adam Megaczupdate submodule pointer commit | commitdiff
2011-05-31 Adam Megaczadd -fsimpleopt-before-flatten commit | commitdiff
2011-05-30 Adam Megaczupdate submodule pointer commit | commitdiff
2011-05-30 Adam Megaczadd -fflatten and -funsafe-skolemize flags commit | commitdiff
2011-05-27 Adam Megaczdo flattening before simpleOptPgm so evaluation "order... commit | commitdiff
2011-05-16 Adam Megaczupdate submodule pointers commit | commitdiff
2011-05-15 Adam Megaczupdate submodule pointer commit | commitdiff
2011-05-15 Adam Megaczupdate submodule pointers commit | commitdiff
2011-05-10 Adam Megaczupdate flattener to use type-family-based GArrow classes commit | commitdiff
2011-05-09 Adam Megaczadd support for hetmet_unflatten commit | commitdiff
2011-05-09 Adam Megaczadd support for hetmet_flatten casting variable commit | commitdiff
2011-05-09 Adam Megaczupdate compiler using *->*->* as the kind of environmen... commit | commitdiff
2011-05-09 Adam Megaczthread wired-in names of GHC.HetMet.Private.* through... commit | commitdiff
2011-04-17 Adam Megaczmerge up to ghc HEAD 16-Apr-2011 commit | commitdiff
2011-04-10 Adam Megaczupdate for changes in hetmet Makefile commit | commitdiff
2011-03-25 Adam Megaczupdate submodule pointers commit | commitdiff
2011-03-22 Adam Megaczupdate hetmet submodule pointer commit | commitdiff
2011-03-14 Adam Megaczupdate hetmet subrepository pointer commit | commitdiff
2011-03-14 Adam Megaczupdate hetmet submodule pointer commit | commitdiff
2011-03-13 Adam Megaczthird attempt at getting submodules to work properly commit | commitdiff
2011-03-12 Adam Megaczupdate compiler/hetmet/ submodule pointer commit | commitdiff
2011-03-12 Adam Megaczupdate coq-hetmet submodule pointer commit | commitdiff
2011-03-12 Adam Megaczsecond attempt at updating submodules; I seem to have... commit | commitdiff
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)