../ Context/Fold Rel8.Schema.Context.Result into Rel8.Schema.Context6 years ago HTable/Unify HType and HIdentity6 years ago Spec/Teach Table and friends about Sum types6 years ago Context.hsReverse dependency between Rel8.Schema.Context and Rel8.Schema.Result6 years ago Dict.hsThe beginning of rel8 1.06 years ago HTable.hsSplit greify and gunreify out of GTable6 years ago Insert.hsUnify HType and HIdentity6 years ago Kind.hsAdd Rel8.Generic.Table.ADT6 years ago Name.hsUnify HType and HIdentity6 years ago Null.hsSlightly less constraint fuckery is needed now that we don't use Opaque6 years ago Reify.hsSplit greify and gunreify out of GTable6 years ago Result.hsFold Rel8.Schema.Context.Result into Rel8.Schema.Context6 years ago Spec.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint6 years ago Table.hsRemove doctest for now6 years ago