git.iko.soy/rel8
on 7a526b6 help sign in
rel8/src/Rel8/Generic
3 folders, 6 files
../ Construction/Include both Apply and "Legacy" variants of aggregateADT Rel8able/Implement our own HKD in terms of the existing Generic machinery Table/The guts of the new Generic construction machinery Construction.hsGeneralize constructor functions in Rel8.Table.ADT to Rel8.Generic.Construction Map.hsSplit greify and gunreify out of GTable Record.hsImplement our own HKD in terms of the existing Generic machinery Reify.hsTeach Table and friends about Sum types Rel8able.hsImplement our own HKD in terms of the existing Generic machinery Table.hsImplement our own HKD in terms of the existing Generic machinery