2011-07-03 Cezary Kaliszyk Change CPS1 to FCB2
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
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
2011-07-01 Cezary Kaliszyk Exhaust Issue
Loading...
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip