2011-07-03 | Cezary Kaliszyk | Change CPS1 to FCB2 | changeset | files |
2011-07-02 | Cezary Kaliszyk | Did the proofs of height and subst for Let with list-like binders. Having apply_assns allows proving things by alpha_bn | changeset | files |
2011-07-01 | Christian Urban | side-by-side tests of lets with single assignment; deep-binder case works if the recursion is avoided using an auxiliary function | changeset | files |
2011-07-01 | Cezary Kaliszyk | Exhaust Issue | changeset | files |
Loading... |