git.iko.soy/rel8
on 97d89cf help sign in
history ofsrc/Rel8/Generic/Construction.hs
all commits
97d89cfRemove Interpretation and Col (#107)Ollie Charles 7c5422fMove FromExprs into the Table class and get rid of Unreify (#106)Shane be54907Introduce Rel8.Table.Nullify (#104)Shane 707a36aAdd context parameter to *Table types (#101)Shane 1eaa683Get rid of defaulting and insert context altogetherShane O'Brien a9f500eAbandon Apply Aggregate experiment, support only Context AggregateShane O'Brien 4caf38d"Corep" is wrong. "Representable" is what I wanted.Shane O'Brien e15f360Rename Insertion to CreateShane O'Brien 63c5e03Rename Insertion constructor to ValueShane O'Brien 0f76861Make all Col constructors single letter wrappersShane O'Brien 5824baaParameterise Insertion by necessityShane 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 2615b89Unify HType and HIdentityShane O'Brien 45f6f2bRearrange parameters of ggaggregateShane O'Brien 7a526b6Generalize constructor functions in Rel8.Table.ADT to Rel8.Generic.ConstructionShane O'Brien