on db148ff help sign in
all commits
cf8bdc7Add constructors for HKDShane O'Brien 7a526b6Generalize constructor functions in Rel8.Table.ADT to Rel8.Generic.ConstructionShane O'Brien 593e21bRemove Opaque constraint synonymsShane O'Brien 5e1c965Rename Rel8.Aggregate.{Context -> Legacy} but remove deprecated warningShane O'Brien