git.iko.soy/rel8
on ef28940 help sign in
history ofsrc/Rel8/Table/ADT.hs
all commits
1eaa683Get rid of defaulting and insert context altogetherShane O'Brien a9f500eAbandon Apply Aggregate experiment, support only Context AggregateShane O'Brien 4017859Add build{ADT,HKD} alternative to church encoded construct{ADT,HKD}Shane O'Brien 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