git.iko.soy/rel8
on b2e2fc9 help sign in
history ofsrc/Rel8/Schema/Field.hs
all commits
1c73ec6Add reify and unreify to Table classShane O'Brien 47e7842Sketch of HKD-lifting of Generic typesShane O'Brien 04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane O'Brien 5e4df50Complete overhaul of Rel8.Schema.GenericShane O'Brien 53616d0Simplify Spec to just labels, necessity and typeShane O'Brien bbfa1a3Allow Insert (rather than Insertion) to be used as a ContextShane O'Brien 2d11a08Get rid of IsSpecialContextShane O'Brien 9b5abf2Use data family for HTable contextsShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien