Created 2010-03-25 by paulk@cwi.nl assigned to jurgenv@cwi.nl
Current situation:
- ranges operate only on int arguments
Effect:
- a range with a num argument is not possible
Desired situation:
- ranges operate on (mixtures of) int and real
- ranges operate on num arguments
Created 2010-03-25 by paulk@cwi.nl assigned to jurgenv@cwi.nl
Current situation:
Effect:
Desired situation: