on ef28940 help sign in
all commits
17c7c61Support GHC 9 and switch default compiler (#97)Ollie Charles 4aa5ba9Remove Labelable type class; we don't really need labels at the type level anymore (#76)Shane 1eaa683Get rid of defaulting and insert context altogetherShane O'Brien fab5b4eImplement our own HKD in terms of the existing Generic machineryShane O'Brien 66dc44dTeach Table and friends about Sum typesShane O'Brien e432f6dSplit greify and gunreify out of GTableShane O'Brien 1c73ec6Add reify and unreify to Table classShane O'Brien 1276bebUse FCF to decouple GTable from TableShane O'Brien