119c825Allow the derivation of Rel8able on vanilla HKDs (#111)Shane5 years ago 97d89cfRemove Interpretation and Col (#107)Ollie Charles5 years ago 7c5422fMove FromExprs into the Table class and get rid of Unreify (#106)Shane5 years ago 4aa5ba9Remove Labelable type class; we don't really need labels at the type level anymore (#76)Shane5 years ago 9c974cbDocument KRel8ableOllie Charles5 years ago cfe8a70Don't try to cram ADT into Rel8ableShane O'Brien6 years ago fab5b4eImplement our own HKD in terms of the existing Generic machineryShane O'Brien6 years ago 4bc16d3Introduce ADT meta-Rel8able for sum typesShane O'Brien6 years ago 66dc44dTeach Table and friends about Sum typesShane O'Brien6 years ago