on da76712 help sign in
all commits
119c825Allow the derivation of Rel8able on vanilla HKDs (#111)Shane 97d89cfRemove Interpretation and Col (#107)Ollie Charles 7c5422fMove FromExprs into the Table class and get rid of Unreify (#106)Shane 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