From d420f572dfd543ce7145c7a4d95e1d37093b9a4a Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Sat, 27 Nov 2021 17:04:15 -0800 Subject: [PATCH] Update Square_Spiral notebook to use Joy kernel https://todo.sr.ht/~sforman/thun-der/19 --- docs/Square_Spiral.html | 28660 ++++++++++++++++++++----------------- docs/Square_Spiral.ipynb | 848 +- docs/Square_Spiral.md | 458 +- docs/Square_Spiral.rst | 646 +- 4 files changed, 16962 insertions(+), 13650 deletions(-) diff --git a/docs/Square_Spiral.html b/docs/Square_Spiral.html index 7a94974..8e61508 100644 --- a/docs/Square_Spiral.html +++ b/docs/Square_Spiral.html @@ -1,11249 +1,12625 @@ + -Square_Spiral +Square_Spiral - - + + + + - +.jp-Cell-Placeholder-wrapper-inner { + padding: 15px; + position: relative; +} + +.jp-Cell-Placeholder-wrapper-body { + background-repeat: repeat; + background-size: 50% auto; +} + +.jp-Cell-Placeholder-wrapper-body div { + background: #f6f7f8; + background-image: -webkit-linear-gradient( + left, + #f6f7f8 0%, + #edeef1 20%, + #f6f7f8 40%, + #f6f7f8 100% + ); + background-repeat: no-repeat; + background-size: 800px 104px; + height: 104px; + position: relative; +} + +.jp-Cell-Placeholder-wrapper-body div { + position: absolute; + right: 15px; + left: 15px; + top: 15px; +} + +div.jp-Cell-Placeholder-h1 { + top: 20px; + height: 20px; + left: 15px; + width: 150px; +} + +div.jp-Cell-Placeholder-h2 { + left: 15px; + top: 50px; + height: 10px; + width: 100px; +} + +div.jp-Cell-Placeholder-content-1, +div.jp-Cell-Placeholder-content-2, +div.jp-Cell-Placeholder-content-3 { + left: 15px; + right: 15px; + height: 10px; +} + +div.jp-Cell-Placeholder-content-1 { + top: 100px; +} + +div.jp-Cell-Placeholder-content-2 { + top: 120px; +} + +div.jp-Cell-Placeholder-content-3 { + top: 140px; +} + + + + - - - - - + - -
-
+ -
-
-
In [1]:
-
-
-
from notebook_preamble import J, V, define
-
- -
-
-
- -
-
-
-
+ -
-
-
-
+ -
-
-
-
+ -
-
-
-
+ -
-
-
-
+ + -
-
-
-
In [2]:
-
-
-
define('&& [nullary] cons [nullary [0]] dip branch')
-define('|| [nullary] cons [nullary] dip [1] branch')
+
+ +