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/mutual_recursion.bruijn | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 samples/rosetta/mutual_recursion.bruijn

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

diff --git a/samples/rosetta/mutual_recursion.bruijn b/samples/rosetta/mutual_recursion.bruijn
new file mode 100644
index 0000000..3feb143
--- /dev/null
+++ b/samples/rosetta/mutual_recursion.bruijn
@@ -0,0 +1,20 @@
+:import std/Combinator .
+:import std/Number .
+:import std/List .
+
+f' [[[=?0 (+1) (0 - (1 (2 --0)))]]]
+
+m' [[[=?0 (+0) (0 - (2 (1 --0)))]]]
+
+f ^(y* (f' : {}m'))
+
+m _(y* (f' : {}m'))
+
+:test ((f (+0)) =? (+1)) ([[1]])
+:test ((m (+0)) =? (+0)) ([[1]])
+:test ((f (+4)) =? (+3)) ([[1]])
+:test ((m (+4)) =? (+2)) ([[1]])
+:test ((f (+15)) =? (+9)) ([[1]])
+:test ((m (+15)) =? (+9)) ([[1]])
+
+main [[0]]
-- 
cgit v1.2.3