on 35c6127 help sign in
all commits
032242fAdd Projection and Field (#112)Shane f47423eGet rid of the Spec kind, it can be simplified to just Type (#110)Shane be54907Introduce Rel8.Table.Nullify (#104)Shane 991998aGet rid of Rel8.Table.Unreify and all remaining uses of QuantifiedConstraints (#103)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 2cdc394The guts of the new Generic construction machineryShane O'Brien 1c73ec6Add reify and unreify to Table classShane O'Brien f1e287eRename all the null thingsShane O'Brien 593e21bRemove Opaque constraint synonymsShane O'Brien 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