diff options
Diffstat (limited to 'samples/rosetta/universal_lambda_machine.bruijn')
| -rw-r--r-- | samples/rosetta/universal_lambda_machine.bruijn | 19 |
1 files changed, 19 insertions, 0 deletions
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") |