on 8de0eec help sign in
all commits
04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane O'Brien 3a54a58More docsOliver Charles 6e001f8Lots more docsOliver Charles 9216dbdRemove doctest for nowOllie Charles e150ff4Document Rel8.Expr.BoolOllie Charles 3c5f54cs/fromTrool/coalesce/Shane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien