I am looking to see if some of the features below are supported and if not what is the road map to support them.
Does Rascal support:
1) All bases of the lambda cube
1.1) Ability to support different type systems
2) Pattern calculus
3) Process calculus
with interaction between the 1, 2 and 3
Also what the targets are. Can it target: