git.iko.soy/rel8
on 2ba99ea help sign in
history ofsrc/Rel8/Generic/Construction.hs
all commits
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