lambda_mountain 1.12.9

Lambda Mountain
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17


import STDLIB/default-instruction-set.lm;
import STDLIB/default-primitives.lm;
import STDLIB/default-stdlib.lm;
import STDLIB/default-rules.lm;

global-x := (: SNil S);

main := (tail(
   (let x (close SNil))
   (let y (close SNil))
   (set global-x (SCons(
      x
      y
   )))
   (print global-x)
));