git.iko.soy/rel8
on ef272c4 help sign in
history ofsrc/Rel8/Table/NonEmpty.hs
all commits
1eaa683Get rid of defaulting and insert context altogetherShane O'Brien 0f76861Make all Col constructors single letter wrappersShane O'Brien 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 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