on fb21075 help sign in
rel8/src
1 folder, 1 file
../ Rel8/Add better generic deriving for EqTable, OrdTable and ToExprs Rel8.hsSketch of HKD-lifting of Generic types