git.iko.soy/rel8
on 62f323a help sign in
rel8/src/Rel8/Generic
3 folders, 6 files
../ Construction/Abandon Apply Aggregate experiment, support only Context Aggregate Rel8able/Add build{ADT,HKD} alternative to church encoded construct{ADT,HKD} Table/Make all Col constructors single letter wrappers Construction.hsAbandon Apply Aggregate experiment, support only Context Aggregate 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.hsDon't try to cram ADT into Rel8able Table.hsImplement our own HKD in terms of the existing Generic machinery