git.iko.soy/rel8
on ca9f078 help sign in
rel8/src/Rel8/Generic
3 folders, 6 files
../ Construction/Add build{ADT,HKD} alternative to church encoded construct{ADT,HKD} Rel8able/Add build{ADT,HKD} alternative to church encoded construct{ADT,HKD} Table/Unify HType and HIdentity Construction.hsAdd build{ADT,HKD} alternative to church encoded construct{ADT,HKD} 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