on 29cdfdb help sign in
all commits
7c5422fMove FromExprs into the Table class and get rid of Unreify (#106)Shane 991998aGet rid of Rel8.Table.Unreify and all remaining uses of QuantifiedConstraints (#103)Shane 1eaa683Get rid of defaulting and insert context altogetherShane 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 6e42c1eUnfold Rel8.Schema.HKD into Rel8.Generic.HKD and Rel8.Column.LiftShane O'Brien