Implemented transform 1 for base abstractions and applications;
Dimensions for formal parameters of abstractions e.g. t are represented as {phi,t};
The set of allocated dimensions is split in two separate sets in order to make more evident that the domains of formal parameters and of local dimensions are distinct. Tests in fn_tests module check this.
This pull request also contains initial integration of functions with parser (implemented mainly for easing testing). This needs more work for applications and, in general, for making functions usable.
Base abstractions/applications cannot yet be evaluated.
The main changes are in the transform 1 module:
This pull request also contains initial integration of functions with parser (implemented mainly for easing testing). This needs more work for applications and, in general, for making functions usable.
Base abstractions/applications cannot yet be evaluated.