lambda_mountain 1.12.9

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


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

type E CaseOne | CaseTwo | CaseThree;

main := (
   (let x CaseOne)
   (let y CaseTwo)
   (let z CaseThree)
   (print (.0 x))
   (print (.0 y))
   (print (.0 z))
);