lambda_mountain 1.12.9

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


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

main := (
   (print SNil)
#   (print (SAtom 'a_s))
#   (print (SCons( (close SNil) (close SNil) )))
#   (print (SPointer( as 0u64 '?[] )))
);