on 97d89cf help sign in
all commits
707a36aAdd context parameter to *Table types (#101)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 db148ffSimplify LabelsShane O'Brien 593e21bRemove Opaque constraint synonymsShane O'Brien 8127f14Start work breaking down EqTable and OrdTableOllie Charles 53616d0Simplify Spec to just labels, necessity and typeShane O'Brien d2347c1Rewrite Nullify and Vectorize in terms of HMapTableOllie Charles 9b5abf2Use data family for HTable contextsShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien