diff options
| author | Marvin Borner | 2024-11-14 16:54:14 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-11-14 16:59:59 +0100 |
| commit | 4a6378aa868e9c1d49fc5ad1576616933c913004 (patch) | |
| tree | fb42733e3f774a9716a14b4332d96b503dab769a /samples/math.mili | |
| parent | d7bbded8b0aa3086692b2363076be48c2fbb5a33 (diff) | |
Basic reduction
Diffstat (limited to 'samples/math.mili')
| -rw-r--r-- | samples/math.mili | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/samples/math.mili b/samples/math.mili new file mode 100644 index 0000000..6fff8d2 --- /dev/null +++ b/samples/math.mili @@ -0,0 +1,3 @@ +add = [[REC (1, <0>), 0, [S 0], [[[0 2 1]]]]] +mul = [[REC (1, <0>), <0>, (add 0), [[[0 2 1]]]]] +add <0> <2> |