projects / ghc-base.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add GHC.HetMet.{hetmet_kappa,hetmet_kappa_app}
[ghc-base.git] / GHC / HetMet /
2012-04-14 Adam Megaczadd GHC.HetMet.{hetmet_kappa,hetmet_kappa_app} master tree | commitdiff
2012-04-04 Adam Megaczmove GArrow from GHC.HetMet to Control tree | commitdiff
2012-04-04 Adam Megaczrename classes to create GArrowCopyDropSwap[Loop] tree | commitdiff
2012-04-04 Adam Megaczswap <[]> and <{}> syntax tree | commitdiff
2012-04-04 Adam Megaczcomment out references to module not implemented yet tree | commitdiff
2012-04-04 Adam MegaczGArrowFullyEnriched: minimize context of the data decla... tree | commitdiff
2011-08-29 Adam MegaczGArrowFullyEnriched: clean up imports and context tree | commitdiff
2011-06-22 Adam MegaczIGArrow: major cleanup, finished instance IKappa (->) tree | commitdiff
2011-06-22 Adam MegaczGArrowFullyEnriched: avoid need for UndecidableInstances tree | commitdiff
2011-06-22 Adam Megaczadjust GArrow class fundeps to make meeting the Coverag... tree | commitdiff
2011-06-22 Adam Megaczclean up LANGUAGE pragma in GArrow.hs tree | commitdiff
2011-06-21 Adam MegaczIGArrow: some improvements tree | commitdiff
2011-06-21 Adam MegaczGArrowFullyEnriched: better algorithm, avoids drop... tree | commitdiff
2011-06-20 Adam Megaczmove things out of GHC.HetMet.CodeTypes into GHC.HetMet... tree | commitdiff
2011-06-20 Adam Megaczadd IGArrow: internal GArrows tree | commitdiff
2011-06-20 Adam Megaczrename GArrowKappa to GArrowFullyEnriched tree | commitdiff
2011-06-20 Adam Megaczremove GArrowInstances tree | commitdiff
2011-06-02 Adam Megaczadd GArrowSTKCL for flattening of fixpoints tree | commitdiff
2011-06-02 Adam MegaczArrow.hs: fix loopl/loopr transposition tree | commitdiff
2011-05-31 Adam Megaczadd GArrowKappa tree | commitdiff
2011-05-31 Adam Megaczfix type mistake in CodeTypes.hs tree | commitdiff
2011-05-31 Adam Megaczenable argument types in pga_{un}flatten tree | commitdiff
2011-05-31 Adam Megaczadd GArrowTensor, GArrowUnit, and GArrowExponent which... tree | commitdiff
2011-05-31 Adam Megaczadd hetmet_unflatten tree | commitdiff
2011-05-31 Adam Megaczadd support for hetmet_flatten casting variable tree | commitdiff
2011-05-31 Adam Megaczupdate GHC.HetMet.CodeTypes using *->*->* as the kind... tree | commitdiff
2011-05-31 Adam MegaczPrivate.hs: make datacon name different from tycon... tree | commitdiff
2011-05-31 Adam Megaczadd experimental GArrowKappa tree | commitdiff
2011-05-31 Adam Megaczadd first draft of GHC.HetMet.Private tree | commitdiff
2011-05-31 Adam Megaczadd experimental GArrowStatic tree | commitdiff
2011-05-31 Adam Megaczrephrase GArrow{Sum,Prod} to make instance inference... tree | commitdiff
2011-05-31 Adam Megaczadd more fundeps for GArrow clases, remove -XFlexibleIn... tree | commitdiff
2011-05-31 Adam Megaczadd GArrowSTKC, GArrowPCF tree | commitdiff
2011-05-31 Adam Megaczadd ga_inl, ga_inr tree | commitdiff
2011-05-31 Adam Megaczre-order type arguments to GArrowProd tree | commitdiff
2011-05-31 Adam Megaczadd Arrow=>GArrowProd instance tree | commitdiff
2011-05-31 Adam Megaczadd ArrowChoice=>GArrowSum instance tree | commitdiff
2011-05-31 Adam Megaczfix incorrect type on GArrowCurry tree | commitdiff
2011-05-31 Adam Megaczfinal revision to GArrow classes tree | commitdiff
2011-05-31 Adam Megaczadjust some of the names in GHC.HetMet.GArrow tree | commitdiff
2011-05-31 Adam Megaczmove the (Arrow a)=>(GArrow a (,)) instance to a separa... tree | commitdiff
2011-05-31 Adam Megaczremove unnecessary testing definition from CodeTypes.hs tree | commitdiff
2011-05-31 Adam Megaczmake Control.Category a superclass of GArrow tree | commitdiff
2011-05-31 Adam Megaczadd Control.Category instance for GArrow tree | commitdiff
2011-05-31 Adam Megaczadd GArrow instance for Control.Arrow tree | commitdiff
2011-05-31 Adam Megaczimprove comments in GHC.HetMet.GArrow tree | commitdiff
2011-05-31 Adam Megaczmigrate HetMet base changes to git repo tree | commitdiff
GHC "base" library, with HetMet modifications