on e48c73e help sign in
all commits
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