on db148ff help sign in
all commits
c8341c1Reverse dependency between Rel8.Schema.Context and Rel8.Schema.ResultShane O'Brien 04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane 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 fd41751Document NameOllie Charles 9b5abf2Use data family for HTable contextsShane O'Brien b983defMagic Sql constraint synonymShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien