8f039d8e3b
Link spec doc to homepage.
2023-11-14 10:41:07 -08:00
81f104fccf
Fix up the links.
2023-11-14 10:40:24 -08:00
b7954a39a2
Rebuilt docs.
2023-11-13 15:00:35 -08:00
c4cdbb0ef3
Fix up some links.
2023-11-13 14:58:42 -08:00
acb9f83c86
Use relative URL to Joy.js file.
2023-11-12 20:02:42 -08:00
156a2ffd94
Use relative URLs for CSS.
...
So hopefully thi site can live happily under https://ariadne.systems/pub/~sforman/Thun/
2023-11-12 12:23:41 -08:00
68a85c915a
add defs for select and small; cleaner joy-func.
2023-10-13 07:42:22 -07:00
a7c206745a
Some edits.
2023-10-10 10:08:17 -07:00
32d772e8b0
Some edits to some notebooks.
2023-10-09 12:48:14 -07:00
356f67dd7d
Run MAKE.
2023-10-09 11:50:37 -07:00
da0e1e685e
Derive `zip`.
2023-10-09 11:45:28 -07:00
787dc6a7b3
Nerd Sniped
2023-10-09 11:44:13 -07:00
04d3e96a99
Great progress!
2023-10-08 20:17:02 -07:00
eb665f2b50
More work on Ref doc, & stuff.
2023-10-08 17:58:22 -07:00
bcf6abc50d
Nerd sniped by a silly function.
2023-10-07 15:25:38 -07:00
7314d2177c
Minor edits; rebuild docs.
2023-10-04 09:58:02 -07:00
8c6d3dcff8
Use slightly smaller font files.
2023-10-03 20:19:31 -07:00
d798339f86
Minor edits.
2023-10-03 20:17:04 -07:00
7ccfba86fd
Tidy?
2023-10-01 12:48:25 -07:00
8661373435
A little more work on the ref doc.
2023-10-01 09:21:16 -07:00
d723724193
Mark combinators.
2023-09-30 14:41:39 -07:00
902a9f62af
Build the ref doc.
2023-09-30 14:25:12 -07:00
52e831a137
Put interpreter on pages.
2023-09-29 15:25:49 -07:00
c3054377a6
Give it it's own CSS file.
...
It's good enough for now.
2023-09-28 18:37:01 -07:00
463ed04e05
Add grammar image.
...
Made with https://jacquev6.github.io/DrawGrammar/
2023-09-06 18:24:27 -07:00
9998e7947b
Finished up Generator_Programs.md
2023-08-20 17:21:49 -07:00
ef9f7f2c0e
Minor CSS changes.
2023-08-18 16:58:25 -07:00
805ec23e11
Edits on BigNums notebook.
2023-08-18 16:57:54 -07:00
99435490d0
About 2/5ths done.
2023-08-17 12:09:23 -07:00
387d9d4ed4
Working on the notebooks.
2023-08-16 10:04:52 -07:00
7d8e2ae611
Updating notebooks
...
to not use Jupyter because I can't figure out how to use the Joy kernel.
2023-08-14 09:18:04 -07:00
70aa2ef5e9
Working on the website for Thun.
...
I'm going to eventually update the old Sphinx-generated site on OSDN.
2023-08-13 14:30:57 -07:00
1f5bea98b6
Minor edits.
2023-08-13 08:47:16 -07:00
0a1b150eb5
Working on the docs.
...
The nbconvert tool has different behaviour now, so the HTML versions of
the notebooks look different.
2023-07-27 08:55:43 -07:00
9ca9239738
Minor work on the new site.
...
I'm moving away from OSDN, there have been a few technical issues
recently.
2023-07-26 20:47:57 -07:00
1256fb47d8
A start on styling notebooks.
...
I'd like the website to have some consistency.
2023-02-15 13:43:22 -08:00
610de03e0b
Minor updates to README file.
...
Removed setup.py until Python folks stabilize packaging and
distribution. Just put the joy script in your PATH, eh?
2023-02-15 10:05:25 -08:00
ca54198e58
Updating the README a little.
2023-02-14 07:55:58 -08:00
4330c26cef
Minor cleanup.
2023-02-12 16:00:45 -08:00
9a74b91d04
minor cleanup
2023-02-12 08:22:16 -08:00
75591f36ba
minor cleanup
2023-02-10 08:09:31 -08:00
668040f6c6
Add a flowchart for the interpreter.
...
Using PlantUML.
2022-09-19 13:22:31 -07:00
466bf3d79b
A bit more docs.
2022-09-16 12:28:13 -07:00
dbcbf16bc9
Got back the LI for lower-cased title notebooks.
...
Not sure what went wrong there.
2022-09-16 11:27:00 -07:00
406740bbd6
Whence fun_with_scan and with_sympy?
2022-09-16 11:06:30 -07:00
9de71c84bf
Cleaning up docs.
...
Kinda...
2022-09-16 09:03:42 -07:00
7a25eee481
The (crude) site.
...
It's funny that I'm using nbconvert, markdown, pandoc, tidy, and of
course python, all to make a simple static website...
"There's got to be a better way!"
2022-09-16 07:36:28 -07:00
ea52cd7bfb
bits and pieces
2022-09-15 19:17:56 -07:00
fe6567fd9e
Rework docs, simpler (no Sphinx.)
2022-09-15 18:14:01 -07:00
sforman