Fri, 08 Mar 2013 13:21:55 +0100 | kuncar | setup_lifting doesn't support a type variable as a raw type | changeset | files |
Fri, 08 Mar 2013 13:21:52 +0100 | kuncar | add [relator_mono] and [relator_distr] rules | changeset | files |
Fri, 08 Mar 2013 13:21:45 +0100 | kuncar | simplify Lift_FSet because we have parametricity in Lifting now | changeset | files |