on 7c5422f help sign in
all commits
4aa5ba9Remove Labelable type class; we don't really need labels at the type level anymore (#76)Shane 1eaa683Get rid of defaulting and insert context altogetherShane O'Brien 5e4df50Complete overhaul of Rel8.Schema.GenericShane O'Brien 53616d0Simplify Spec to just labels, necessity and typeShane O'Brien 9b5abf2Use data family for HTable contextsShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien