git.iko.soy/rel8
on fb21075 help sign in
history ofsrc/Rel8/Table/NonEmpty.hs
all commits
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