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

5> LETV x = [1,2] IN (x+x)
   after parse:
   LETV x = [1,2] IN (x+x)
   after inter:
   [2,4]
5> LETN x = [1,2] IN (x+x)
   after parse:
   LETN x = [1,2] IN (x+x)
   after inter:
   [2,3,3,4]
5> LETL x = [1,2] IN (x+x)
   after parse:
   LETL x = [1,2] IN (x+x)
   after inter:
   [2,4]
5> LETV fun = \V x -> IF (x==0) THEN 1 ELSE 2 IN (fun 1)
   after parse:
   LETV fun = \V x -> IF (x==0) THEN 1 ELSE 2 IN (fun 1)
   after inter:
   [2]
5> LETL fun = \L x -> IF (x==0) THEN 1 ELSE 2 IN (fun 1)
   after parse:
   LETL fun = \L x -> IF (x==0) THEN 1 ELSE 2 IN (fun 1)
   after inter:
   [2]
5> LETN fun = \N x -> IF (x==0) THEN 1 ELSE 2 IN (fun 1)
   after parse:
   LETN fun = \N x -> IF (x==0) THEN 1 ELSE 2 IN (fun 1)
   after inter:
   [2] 
5> LETV fac = \V x -> IF (x==0) THEN 1 ELSE (x*(fac (x-1))) IN (fac 3)
   after parse:
   LETV fac = \V x -> IF (x==0) THEN 1 ELSE (x*(fac (x-1))) IN (fac 3)
   after inter:
   [6]  
5> LETL fac = \V x -> IF (x==0) THEN 1 ELSE (x*(fac (x-1))) IN (fac 3)
   after parse:
   LETL fac = \V x -> IF (x==0) THEN 1 ELSE (x*(fac (x-1))) IN (fac 3)
   after inter:
   [6]
5> LETN fac = \V x -> IF (x==0) THEN 1 ELSE (x*(fac (x-1))) IN (fac 3)
   after parse:
   LETN fac = \V x -> IF (x==0) THEN 1 ELSE (x*(fac (x-1))) IN (fac 3)
   after inter:
   [6]
5> LETV fac = \V x -> IF (x==0) THEN 1 ELSE (x*(fac (x-1))) IN (fac [2,3])
   after parse:
   LETV fac = \V x -> IF (x==0) THEN 1 ELSE (x*(fac (x-1))) IN (fac [2,3])
   after inter:
   [2,6]
5> LETN fac = \V x -> IF (x==0) THEN 1 ELSE (x*(fac (x-1))) IN (fac [2,3])
   after parse:
   LETN fac = \V x -> IF (x==0) THEN 1 ELSE (x*(fac (x-1))) IN (fac [2,3])
   after inter:
   [2,6]
5> LETL fac = \V x -> IF (x==0) THEN 1 ELSE (x*(fac (x-1))) IN (fac [2,3])
   after parse:
   LETL fac = \V x -> IF (x==0) THEN 1 ELSE (x*(fac (x-1))) IN (fac [2,3])
   after inter:
   [2,6]   
5>


