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