on b0e47ec 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 4bc16d3Introduce ADT meta-Rel8able for sum typesShane O'Brien