From 5e5069c5228f2cd39de38ace9134f57293cc7e5d Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Sun, 12 Mar 2023 00:04:55 +0100 Subject: Fun --- samples/fun/gen.bruijn | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 samples/fun/gen.bruijn (limited to 'samples/fun/gen.bruijn') diff --git a/samples/fun/gen.bruijn b/samples/fun/gen.bruijn new file mode 100644 index 0000000..1333baa --- /dev/null +++ b/samples/fun/gen.bruijn @@ -0,0 +1,12 @@ +# generates long expressions from short ones + +# TODO: This should be linear time according to RKNL paper +# possible reasons: box/map copying, GC + +:import std/Math . + +seed (+23u) + +dup [0 0] + +main [seed dup 0] ⧗ Unary → Woah -- cgit v1.2.3