-
Pietro Abate authored
Now gamma is correctly propagated in the compilation Enviroment and substitions are correctly applied to abstractions
f32ff557
Now gamma is correctly propagated in the compilation Enviroment and substitions are correctly applied to abstractions