git.iko.soy/rel8
on db148ff help sign in
rel8/src/Rel8/Generic
3 folders, 6 files
../ Construction/Include both Apply and "Legacy" variants of aggregateADT Rel8able/Don't try to cram ADT into Rel8able Table/The guts of the new Generic construction machinery Construction.hsRearrange parameters of ggaggregate 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