From e4dc5918cdfc231bee29ca5808e37ee23f33712e Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sun, 10 Mar 2024 14:18:17 +0100
Subject: Samples and std additions

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

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

diff --git a/samples/rosetta/luhn_test_of_credit_card_numbers.bruijn b/samples/rosetta/luhn_test_of_credit_card_numbers.bruijn
new file mode 100644
index 0000000..e52011e
--- /dev/null
+++ b/samples/rosetta/luhn_test_of_credit_card_numbers.bruijn
@@ -0,0 +1,14 @@
+:import std/Combinator .
+:import std/Math .
+:import std/List .
+
+luhn number→list → reverse → check → (\mod (+10)) → zero?
+	check y [[[[0 [[[6 \5 (4 + (5 odd even)) 1]]] 1]]]] k (+0)
+		odd 2
+		even digit-sum (2 ⋅ (+2))
+
+:test (luhn (+61789372994)) ([[1]])
+:test (luhn (+49927398716)) ([[1]])
+:test (luhn (+49927398717)) ([[0]])
+:test (luhn (+1234567812345678)) ([[0]])
+:test (luhn (+1234567812345670)) ([[1]])
-- 
cgit v1.2.3