on da76712 help sign in
all commits
119c825Allow the derivation of Rel8able on vanilla HKDs (#111)Shane 7c5422fMove FromExprs into the Table class and get rid of Unreify (#106)Shane 4aa5ba9Remove Labelable type class; we don't really need labels at the type level anymore (#76)Shane 66dc44dTeach Table and friends about Sum typesShane O'Brien