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
18
19
20
21
22


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

type LR (Left( U8 , U16 , U32 , U64 )) | (Right( I64 , I64 , I32 , I16 , I8 ));

main := (
   (let l (Left( 1_u8 2_u16 3_u32 4_u64 )))
   (let r (Right( '-4_i64 '-5_i64 '-6_i32 '-7_i16 '-8_i8 )))
   (print (.0 l))
   (print (.1 l))
   (print (.2 l))
   (print (.3 l))
   (print (.4 l))
   (print (.0 r))
   (print (.1 r))
   (print (.2 r))
   (print (.3 r))
   (print (.4 r))
);