lambda_mountain 1.12.9

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

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

main := (
   (print 123_u64)
   (print -456_i64)
);