TODO list
- Implement OrderedSet type
- Implement iterate method
- Implement Tuple type
- Implement Product method
- Implement couple for forAll and exists method
- Check all operators
- Add test to lists
LimitationsΒΆ
- The scope of all iterate operations is limited to the variable of the previous iteration
and no other variable coming from the context are used.
- Operations cannot be applied to built-in lists.