lambda_mountain 1.13.53

Compiler Backend / Programming Language Scaffolding
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33


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

main := λ. (: (tail(
  (print 1_u64)(print '\n_s)
  (print -2_i64)(print '\n_s)
  (print (+( 1_u64 2_u64 )))(print '\n_s)
  (print (+( 1_i64 -2_i64 )))(print '\n_s)
  (print (-( 2_u64 1_u64 )))(print '\n_s)
  (print (-( 1_i64 -2_i64 )))(print '\n_s)
  (print (*( 1_u64 2_u64 )))(print '\n_s)
  (print (*( 1_i64 -2_i64 )))(print '\n_s)
  (print (/( 5_u64 2_u64 )))(print '\n_s)
  (print (/( 5_i64 2_i64 )))(print '\n_s)
  (print (%( 5_u64 2_u64 )))(print '\n_s)
  (print (%( -5_i64 2_i64 )))(print '\n_s)
  (print (<( 1_u64 2_u64 )))(print '\n_s)
  (print (<=( 1_u64 2_u64 )))(print '\n_s)
  (print (==( 1_u64 2_u64 )))(print '\n_s)
  (print (!=( 1_u64 2_u64 )))(print '\n_s)
  (print (>( 1_u64 2_u64 )))(print '\n_s)
  (print (>=( 1_u64 2_u64 )))(print '\n_s)
  (print (<( -1_i64 2_i64 )))(print '\n_s)
  (print (<=( -1_i64 2_i64 )))(print '\n_s)
  (print (==( -1_i64 2_i64 )))(print '\n_s)
  (print (!=( -1_i64 2_i64 )))(print '\n_s)
  (print (>( -1_i64 2_i64 )))(print '\n_s)
  (print (>=( -1_i64 2_i64 )))(print '\n_s)
)) Nil);