git.iko.soy/rel8
on 7f5801f help sign in
history ofsrc/Rel8/Generic/Rel8able/Test.hs
all commits
1eaa683Get rid of defaulting and insert context altogetherShane O'Brien 4017859Add build{ADT,HKD} alternative to church encoded construct{ADT,HKD}Shane O'Brien d028b37Changes necessary to allow nesting Lift and HADT inside ListTableShane O'Brien 5b1faf2Export fromADT, toADT, fromHKD and toHKDShane O'Brien f8b1a55Better unreification; allow more nesting inside HListsShane O'Brien cfe8a70Don't try to cram ADT into Rel8ableShane O'Brien fab5b4eImplement our own HKD in terms of the existing Generic machineryShane O'Brien 4bc16d3Introduce ADT meta-Rel8able for sum typesShane O'Brien 66dc44dTeach Table and friends about Sum typesShane O'Brien