lambda_mountain 1.12.9

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


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

main := (tail(
   (let x 'a_s)
   (let y 'a_s)
   (print x)(print y)(print \n_s)
   (if (==( x y )) (print 'AEqA\n_s) (print 'Failure\n_s) )
   (set y 'b_s)
   (print x)(print y)(print \n_s)
   (if (==( x y )) (print 'Failure\n_s) (print 'ANotEqB\n_s) )
));