diff options
| author | Marvin Borner | 2024-03-14 13:53:46 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-14 13:53:46 +0100 |
| commit | 0b77800262b5c46d994e6cb6159f773de8a05c51 (patch) | |
| tree | 54e63cfea8fcc046072cb9e0028a12fd34937265 /samples/rosetta/greatest_common_divisor.bruijn | |
| parent | 004f853f260d321753af32318ecdeb2c585af7b0 (diff) | |
More samples
Diffstat (limited to 'samples/rosetta/greatest_common_divisor.bruijn')
| -rw-r--r-- | samples/rosetta/greatest_common_divisor.bruijn | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/samples/rosetta/greatest_common_divisor.bruijn b/samples/rosetta/greatest_common_divisor.bruijn new file mode 100644 index 0000000..37bbb66 --- /dev/null +++ b/samples/rosetta/greatest_common_divisor.bruijn @@ -0,0 +1,8 @@ +:import std/Combinator . +:import std/Number . + +gcd y [[[=?0 1 (2 0 (1 % 0))]]] + +:test ((gcd (+2) (+4)) =? (+2)) ([[1]]) +:test ((gcd (+10) (+5)) =? (+5)) ([[1]]) +:test ((gcd (+3) (+8)) =? (+1)) ([[1]]) |