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