diff options
| author | Marvin Borner | 2024-03-03 15:03:41 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-03 22:29:24 +0100 |
| commit | 6ae44d09faa0ae353c0818705503cad42127d102 (patch) | |
| tree | a923d00d520f85a608f51416184e5b3b6f178549 /samples/rosetta/y_combinator.bruijn | |
| parent | 03155d6e515c76d5ab59f814592484c849313130 (diff) | |
Even more samples
wtf
Diffstat (limited to 'samples/rosetta/y_combinator.bruijn')
| -rw-r--r-- | samples/rosetta/y_combinator.bruijn | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/samples/rosetta/y_combinator.bruijn b/samples/rosetta/y_combinator.bruijn new file mode 100644 index 0000000..95a985b --- /dev/null +++ b/samples/rosetta/y_combinator.bruijn @@ -0,0 +1,15 @@ +:import std/Number . + +# sage bird combinator +y [[1 (0 0)] [1 (0 0)]] + +# factorial using y +factorial y [[=?0 (+1) (0 ⋅ (1 --0))]] + +:test ((factorial (+6)) =? (+720)) ([[1]]) + +# (very slow) fibonacci using y +fibonacci y [[0 <? (+1) (+0) (0 <? (+2) (+1) rec)]] + rec (1 --0) + (1 --(--0)) + +:test ((fibonacci (+6)) =? (+8)) ([[1]]) |