-
Pietro Abate authored
- type variables are now correctly parsed as patterns and not as expressions - Add a new module Var that contains all the type variables related machinery - Remove old functions and unit tests about BoolVar of only variables, since now variables are always stored associated with one or more kinds
6ee8a6b0