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


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;

f := λ(: x Sized<8>). (: (
  ()
) Nil);

main := λ. (: (tail(
  (f 1_u64)
  (f 1_i64)
)) Nil);