? main4
ModularInterpreter
author: Luc Duponcheel
all comments are welcome (luc@cs.ruu.nl)

4> (\V x -> (x+x) [1,2])
   after parse:
   (\V x -> (x+x) [1,2])
   after inter:
   [2,4]
4> (\N x -> (x+x) [1,2])
   after parse:
   (\N x -> (x+x) [1,2])
   after inter:
   [2,3,3,4]
4> (\L x -> (x+x) [1,2])
   after parse:
   (\L x -> (x+x) [1,2])
   after inter:
   [2,4]
4>




