git.iko.soy/rel8
on 895e5fd help sign in
rel8/src/Rel8/Schema
4 folders, 13 files
../ Context/Rename all the null things Generic/The beginning of rel8 1.0 HTable/Rename all the null things Spec/Slightly less constraint fuckery is needed now that we don't use Opaque 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.hsRename all the null things Kind.hsUse data family for HTable contexts Name.hsRename all the null things Null.hsSlightly less constraint fuckery is needed now that we don't use Opaque Spec.hsRename all the null things Structure.hsUse data family for HTable contexts Table.hsRemove doctest for now