git.iko.soy/rel8
on 707a36a help sign in
history ofsrc/Rel8/Table/Rel8able.hs
all commits
716d9f1Clean up ConstrainDBType (#100)Shane 4aa5ba9Remove Labelable type class; we don't really need labels at the type level anymore (#76)Shane 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