git.iko.soy/rel8
on 8301eb7 help sign in
rel8/src/Rel8/Generic
3 folders, 6 files
../ Construction/Unify HType and HIdentity Rel8able/Changes necessary to allow nesting Lift and HADT inside ListTable Table/Unify HType and HIdentity Construction.hsMake constructHKD work the same for product and sum types 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