git.iko.soy/rel8
on 2487397 help sign in
rel8/src/Rel8/Generic
3 folders, 6 files
../ Construction/Get rid of defaulting and insert context altogether Rel8able/Get rid of defaulting and insert context altogether Table/Get rid of defaulting and insert context altogether Construction.hsGet rid of defaulting and insert context altogether 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.hsDocument KRel8able Table.hsGet rid of defaulting and insert context altogether