Commit Graph

32 Commits

Author SHA1 Message Date
32ccfc76ae Merge branch 'thevoid' 2024-11-27 00:41:05 -08:00
ae0d54e567 Add draft warning to the void
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-11-27 00:40:44 -08:00
77dade1d1d Move all bergamot partials and shortcodes into theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 20:10:04 -07:00
2defe99c73 Update theme w/ more Bergamot affordances
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 19:49:37 -07:00
c6f34f8eaa Delete unused shortcodes
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 17:46:13 -07:00
3e46ff8be6 Update vanilla theme to handle loading Bergamot
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 15:47:26 -07:00
18eb1da5ba Allow render rules to be customized using render presets
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 13:49:57 -07:00
dde7df4604 Update to new Bergamot version
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 10:33:40 -07:00
ba287130d3 Start working on "The Void" 2024-08-04 19:37:29 -07:00
0a26230fe1 Remove unused shortcodes
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-21 20:09:48 -07:00
fdcd4ddd60 Defer loading of KaTeX JS and Bergamot support code 2023-12-30 19:56:14 -08:00
0b3755c69a Use a shim instead of the real katex-expression because it hardcodes too much.
We don't need a second bundle of KaTeX, or all of the fonts a second time, served
from a CDN we don't control.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-12-30 19:38:37 -08:00
266bf9b4cf Add an exercise about conversions to types: basics
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-12-29 12:47:58 -08:00
a6f3bccf64 Use markdown for exercises, since it works fine out of the box.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-12-28 16:05:15 -08:00
0d3100ba33 Make exercises into details (so they can be collapsed) 2023-12-28 00:12:51 -08:00
8742c6e7b9 Add a Bergamot exercise shortcode to give exercises.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-12-27 23:31:00 -08:00
d7d7254a7b Extract loading and closing bergamot into a helper script.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-12-27 23:30:16 -08:00
7e8870de6c Factor launching bergamot into a helper function 2023-12-27 13:27:20 -08:00
80cdea6932 Update rendering rules for changes to Bergamot. 2023-12-26 13:22:38 -08:00
85b81ffc98 Modify rendering rules to handle precedence
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-12-25 18:42:43 -08:00
b001bba3b8 Tweak rendering rules to support int(x) and str(x).
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-12-22 22:00:46 -08:00
6f0641f315 Render variables better
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-12-22 16:04:47 -08:00
dc9dbe8a0f Update for bergamot requiring an 'input program' too
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-12-22 16:04:33 -08:00
a83268a6e3 Update use of the bergamot widget
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-12-21 17:26:19 -08:00
5c83f234c6 Include rendering rules in Bergamot widget.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-12-03 00:03:08 -08:00
5041c90ac0 Add some partials to load and create a Bergamot widget.
I've set up some infrastructure to build and host a bergamot JS
file using Nix on static.danilafe.com.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-11-29 22:29:14 -08:00
d5f478b3c6 Add donations 2021-08-23 18:41:46 -07:00
e317c56c99 Add some shortcodes for making the game theory post nicer. 2020-11-08 21:22:51 -08:00
a7a6d7ff13 Stop using images and use HTML/CSS to render stacks 2020-03-08 00:20:30 -08:00
8039e459fa Finalize stack draft writeup
All checks were successful
continuous-integration/drone/push Build is passing
2020-03-06 22:50:30 -08:00
7ff919c31b Make the shortcodes HTML-specific 2020-02-23 20:24:40 -08:00
c0b5d67c3d Add missing shortcodes for G-machine display 2019-09-03 21:23:45 -07:00