on 29cdfdb help sign in
all commits
f47423eGet rid of the Spec kind, it can be simplified to just Type (#110)Shane 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 2615b89Unify HType and HIdentityShane O'Brien 9b5abf2Use data family for HTable contextsShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien