on ae2ce41 help sign in
all commits
ae2ce41Make constructHKD work the same for product and sum typesShane O'Brien cfe8a70Don't try to cram ADT into Rel8ableShane O'Brien 7a526b6Generalize constructor functions in Rel8.Table.ADT to Rel8.Generic.ConstructionShane O'Brien 9fd885fInclude both Apply and "Legacy" variants of aggregateADTShane O'Brien 845516aAdd constructADT, deconstructADT, nameADT, insertADT, aggregateADT to Rel8.Table.ADTShane O'Brien 4bc16d3Introduce ADT meta-Rel8able for sum typesShane O'Brien