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-rules.lm;
import STDLIB/default-stdlib.lm;

echo := λ(: x U64). (: (
   x
) U64);

main := (
   (print(SCons(
      (close (SAtom( 'an-atom_s )))
      (close SNil)
   )))
);