From 0b77800262b5c46d994e6cb6159f773de8a05c51 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 14 Mar 2024 13:53:46 +0100
Subject: More samples

---
 samples/rosetta/greatest_common_divisor.bruijn | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 samples/rosetta/greatest_common_divisor.bruijn

(limited to 'samples/rosetta/greatest_common_divisor.bruijn')

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]])
-- 
cgit v1.2.3