Additions for Rosetta Code

2 files changed, 20 insertions, 0 deletions

diff --git a/samples/rosetta/empty_program.bruijn b/samples/rosetta/empty_program.bruijn
new file mode 100644
index 0000000..42e2f47
--- /dev/null
+++ b/samples/rosetta/empty_program.bruijn
@@ -0,0 +1 @@
+main [0]
diff --git a/samples/rosetta/universal_lambda_machine.bruijn b/samples/rosetta/universal_lambda_machine.bruijn
new file mode 100644
index 0000000..2f003ce
--- /dev/null
+++ b/samples/rosetta/universal_lambda_machine.bruijn
@@ -0,0 +1,19 @@
+:import std/Combinator .
+:import std/Number/Binary .
+:import std/Meta .
+:import std/List .
+
+# converts string to list of bits
+str→blc map (c ∘ lsb)
+
+:test (str→blc "0010") ([[1]] : ([[1]] : ([[0]] : {}[[1]])))
+
+# converts list of bits to string
+blc→str map [0 '0' '1']
+
+:test (blc→str ([[1]] : ([[1]] : ([[0]] : {}[[1]])))) ("0010")
+
+# reduces BLC string to BLC string
+main str→blc → blc→meta → β* → meta→blc → blc→str
+
+:test (main "0010") ("0010")