on ca9f078 help sign in
all commits
8301eb7A ListTable can't really have default values and HVectorize oughtn't preserve NecessityShane O'Brien f8b1a55Better unreification; allow more nesting inside HListsShane O'Brien d07e3b5Add and export missing constructors for MaybeTable and friendsShane O'Brien 8a680c9Reverse dependency between MaybeTable (and friends) and SerializableShane O'Brien 1c73ec6Add reify and unreify to Table classShane O'Brien f1e287eRename all the null thingsShane O'Brien 3a54a58More docsOliver Charles 20ddd83Add listTable and nonEmptyTable functionsShane O'Brien 24f0521Fill in missing EqTable and OrdTable instancesShane O'Brien bbfa1a3Allow Insert (rather than Insertion) to be used as a ContextShane O'Brien 2d11a08Get rid of IsSpecialContextShane O'Brien 9b5abf2Use data family for HTable contextsShane O'Brien c25e573Document ListTableOllie Charles 6360f10The beginning of rel8 1.0Shane O'Brien