From 349e8574c67bf575ed39694c8085eab00473bfaa Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Thu, 25 Apr 2024 20:10:51 +0200 Subject: Rosetta sync --- samples/rosetta/Sierpinski_triangle.bruijn | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 samples/rosetta/Sierpinski_triangle.bruijn (limited to 'samples/rosetta/Sierpinski_triangle.bruijn') diff --git a/samples/rosetta/Sierpinski_triangle.bruijn b/samples/rosetta/Sierpinski_triangle.bruijn new file mode 100644 index 0000000..22659d1 --- /dev/null +++ b/samples/rosetta/Sierpinski_triangle.bruijn @@ -0,0 +1,9 @@ +y [[1 (0 0)] [1 (0 0)]] + +# infinite depth +triangle [y [[0 1 [[0]] 1 1]]] + +:import std/Number . + +# limited depth +triangle-n [y [[[[1 0 [[0]] 0 0] (=?1 [[1]] (2 --1))]]] (+7)] -- cgit v1.2.3