From f19998a1416efc2df8fc160cee5da4a58637f749 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 13 Sep 2024 16:50:26 +0200
Subject: Added note

---
 samples/rosetta/variadic_fixed-point_combinator.bruijn | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'samples/rosetta/variadic_fixed-point_combinator.bruijn')

diff --git a/samples/rosetta/variadic_fixed-point_combinator.bruijn b/samples/rosetta/variadic_fixed-point_combinator.bruijn
index f5d6ec8..f781641 100644
--- a/samples/rosetta/variadic_fixed-point_combinator.bruijn
+++ b/samples/rosetta/variadic_fixed-point_combinator.bruijn
@@ -35,6 +35,7 @@ mod3 ^(explicit-y* (zero : (one : {}two)))
 
 # passes all functions explicitly
 # requires a tuple mapping function first
+# or, minified: [[0 0] [[2 (1 1 0) 0]]] (38 bit!)
 tupled-y* [y [[2 (1 0) 0]]]
 
 # merged even odd
@@ -55,6 +56,9 @@ mod3 tupled-y* map [0 zero one two] [[[2]]]
 
 :test ((mod3 (+5)) =? (+2)) ([[1]])
 
+# NOTE: You can merge the mapping argument directly into the list
+#       like [[0 (1 A) (1 B) (1 C) ...]]. Then y*=y.
+
 # ---------------
 # implicit Church
 # ---------------
-- 
cgit v1.2.3