aboutsummaryrefslogtreecommitdiffhomepage
path: root/bruijn/Experiments.bruijn
blob: 6b837c624dcaa14f6f68f88f7d9558d59fface13 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
:import std/Combinator .
:import std/List .
:import Screen .

t-square-1 [[build tl tr bl br] mut]
	mut y* ([[[[build 3 2 1 b]]]] : ([[[[build 3 2 b 0]]]] : ([[[[build 3 b 1 0]]]] : {}[[[[build b 2 1 0]]]])))
	tl ^0
	tr ^(~0)
	bl ^(~(~0))
	br ^(~(~(~0)))

# TODO: 1/2
t-square-2 [[build tl tr bl br] mut]
	mut y* ([[[[build 3 2 1 (build b w w b)]]]] : ([[[[build 3 2 (build w b b w) 0]]]] : ([[[[build 3 (build w b b w) 1 0]]]] : {}[[[[build (build b w w b) 2 1 0]]]])))
	tl ^0
	tr ^(~0)
	bl ^(~(~0))
	br ^(~(~(~0)))

sierpinski-carpet [[build tl tr bl br] mut]
	mut y* ([[[[build 3 2 1 (build (build b w w w) w w b)]]]] : ([[[[build 3 2 (build w (build w b w w) b w) 0]]]] : ([[[[build 3 (build w b (build w w b w) w) 1 0]]]] : {}[[[[build (build b w w (build w w w b)) 2 1 0]]]])))
	tl ^0
	tr ^(~0)
	bl ^(~(~0))
	br ^(~(~(~0)))

sierpinski-triangle [y [build 0 b 0 0]]

cantor-dust [y [build tl tr bl br]]
	tl [[0 1 1 1 1]] (build 0 b b b)
	tr [[0 1 1 1 1]] (build b 0 b b)
	bl [[0 1 1 1 1]] (build b b 0 b)
	br [[0 1 1 1 1]] (build b b b 0)