• Pietro Abate's avatar
    Fix subsitution problem · f32ff557
    Pietro Abate authored
    Now gamma is correctly propagated in the compilation Enviroment
    and substitions are correctly applied to abstractions
    f32ff557
eval.ml 10.8 KB