on 032242f help sign in
all commits
f47423eGet rid of the Spec kind, it can be simplified to just Type (#110)Shane 97d89cfRemove Interpretation and Col (#107)Ollie Charles 04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien