-
Pietro Abate authored
- redifine sigma (Value.sigma and Lamda.sigma) - add sigma application in eval - fix typing rules for abstraction and match - XXX This commit breaks all tests !!!
b9aa225f
- redifine sigma (Value.sigma and Lamda.sigma) - add sigma application in eval - fix typing rules for abstraction and match - XXX This commit breaks all tests !!!