../ 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 Construction.hsGet rid of defaulting and insert context altogether5 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