git.iko.soy/rel8
on add7e77 help sign in
history ofsrc/Rel8/Table/ADT.hs
all commits
119c825Allow the derivation of Rel8able on vanilla HKDs (#111)Shane 97d89cfRemove Interpretation and Col (#107)Ollie Charles 7c5422fMove FromExprs into the Table class and get rid of Unreify (#106)Shane 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