diff options
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]]) |