on cfe8a70 help sign in
all commits
d07e3b5Add and export missing constructors for MaybeTable and friendsShane O'Brien 8a680c9Reverse dependency between MaybeTable (and friends) and SerializableShane O'Brien 4bc16d3Introduce ADT meta-Rel8able for sum typesShane 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 a9b44f5Document NonEmptyTableOllie Charles 6360f10The beginning of rel8 1.0Shane O'Brien