blob: bba2784ca74b0408de434516ebf0d811e5cf8773 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# MIT License, Copyright (c) 2022 Marvin Borner
zero [[0]]
inc [[[1 (2 1 0)]]]
++( inc
add [[[[3 1 (2 1 0)]]]]
(+) add
mul [[[2 (1 0)]]]
(*) mul
exp [[0 1]]
(^) exp
|