../ Construction/Remove Labelable type class; we don't really need labels at the type level anymore (#76)5 years ago Table/Remove Labelable type class; we don't really need labels at the type level anymore (#76)5 years ago Coherence.hsGet rid of Rel8.Table.Unreify and all remaining uses of QuantifiedConstraints (#103)5 years ago Construction.hsIntroduce Rel8.Table.Nullify (#104)5 years ago Map.hsSplit greify and gunreify out of GTable6 years ago Record.hsImplement our own HKD in terms of the existing Generic machinery6 years ago Reify.hsTeach Table and friends about Sum types6 years ago Rel8able.hsRemove Labelable type class; we don't really need labels at the type level anymore (#76)5 years ago Table.hsSupport GHC 9 and switch default compiler (#97)5 years ago