git.iko.soy/rel8
on 593e21b help sign in
rel8/src/Rel8/Schema
4 folders, 13 files
../ Context/Remove Opaque constraint synonyms Generic/The beginning of rel8 1.0 HTable/Remove Opaque constraint synonyms Spec/Fill in missing EqTable and OrdTable instances Column.hsRemove doctest for now Context.hsSimplify Spec to just labels, necessity and type Dict.hsThe beginning of rel8 1.0 Field.hsSimplify Spec to just labels, necessity and type Generic.hsSimplify Spec to just labels, necessity and type HTable.hsFill in missing EqTable and OrdTable instances Insert.hsRemove Opaque constraint synonyms Kind.hsUse data family for HTable contexts Name.hsRemove Opaque constraint synonyms Nullability.hsRemove Opaque constraint synonyms Spec.hsSimplify Spec to just labels, necessity and type Structure.hsUse data family for HTable contexts Table.hsRemove doctest for now