sforman
|
8f039d8e3b
|
Link spec doc to homepage.
|
2023-11-14 10:41:07 -08:00 |
|
sforman
|
81f104fccf
|
Fix up the links.
|
2023-11-14 10:40:24 -08:00 |
|
sforman
|
b7954a39a2
|
Rebuilt docs.
|
2023-11-13 15:00:35 -08:00 |
|
sforman
|
c4cdbb0ef3
|
Fix up some links.
|
2023-11-13 14:58:42 -08:00 |
|
sforman
|
acb9f83c86
|
Use relative URL to Joy.js file.
|
2023-11-12 20:02:42 -08:00 |
|
sforman
|
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 |
|
sforman
|
68a85c915a
|
add defs for select and small; cleaner joy-func.
|
2023-10-13 07:42:22 -07:00 |
|
sforman
|
a7c206745a
|
Some edits.
|
2023-10-10 10:08:17 -07:00 |
|
sforman
|
32d772e8b0
|
Some edits to some notebooks.
|
2023-10-09 12:48:14 -07:00 |
|
sforman
|
356f67dd7d
|
Run MAKE.
|
2023-10-09 11:50:37 -07:00 |
|
sforman
|
da0e1e685e
|
Derive `zip`.
|
2023-10-09 11:45:28 -07:00 |
|
sforman
|
787dc6a7b3
|
Nerd Sniped
|
2023-10-09 11:44:13 -07:00 |
|
sforman
|
04d3e96a99
|
Great progress!
|
2023-10-08 20:17:02 -07:00 |
|
sforman
|
eb665f2b50
|
More work on Ref doc, & stuff.
|
2023-10-08 17:58:22 -07:00 |
|
sforman
|
bcf6abc50d
|
Nerd sniped by a silly function.
|
2023-10-07 15:25:38 -07:00 |
|
sforman
|
7314d2177c
|
Minor edits; rebuild docs.
|
2023-10-04 09:58:02 -07:00 |
|
sforman
|
69f32424a6
|
Print out wobbly words.
That have definition but no ref doc, or ref docs but no defs.
|
2023-10-04 08:28:53 -07:00 |
|
sforman
|
8c6d3dcff8
|
Use slightly smaller font files.
|
2023-10-03 20:19:31 -07:00 |
|
sforman
|
d798339f86
|
Minor edits.
|
2023-10-03 20:17:04 -07:00 |
|
sforman
|
7ccfba86fd
|
Tidy?
|
2023-10-01 12:48:25 -07:00 |
|
sforman
|
8661373435
|
A little more work on the ref doc.
|
2023-10-01 09:21:16 -07:00 |
|
sforman
|
d723724193
|
Mark combinators.
|
2023-09-30 14:41:39 -07:00 |
|
sforman
|
902a9f62af
|
Build the ref doc.
|
2023-09-30 14:25:12 -07:00 |
|
sforman
|
52e831a137
|
Put interpreter on pages.
|
2023-09-29 15:25:49 -07:00 |
|
sforman
|
c3054377a6
|
Give it it's own CSS file.
It's good enough for now.
|
2023-09-28 18:37:01 -07:00 |
|
sforman
|
aeb1eee646
|
remove the individual md ref files
|
2023-09-28 11:53:34 -07:00 |
|
sforman
|
fa4771fea7
|
Minor edits.
|
2023-09-28 11:36:19 -07:00 |
|
sforman
|
f2f1932876
|
Typo.
|
2023-09-23 10:59:38 -07:00 |
|
sforman
|
16cc0e5769
|
Change definition of uncons.
|
2023-09-18 11:26:50 -07:00 |
|
sforman
|
ecc2e442fb
|
Use blob URL.
|
2023-09-06 18:26:52 -07:00 |
|
sforman
|
463ed04e05
|
Add grammar image.
Made with https://jacquev6.github.io/DrawGrammar/
|
2023-09-06 18:24:27 -07:00 |
|
sforman
|
ee7c1cec99
|
I think Scheme?
|
2023-08-31 10:42:29 -07:00 |
|
sforman
|
38a9b93488
|
Rename BigNums.
|
2023-08-30 10:42:29 -07:00 |
|
sforman
|
58ca23c889
|
Add a README to the docs/ dir.
|
2023-08-30 07:26:47 -07:00 |
|
sforman
|
1c3a00e4a6
|
I just realized these all refer to the old package organization.
|
2023-08-29 06:12:51 -07:00 |
|
sforman
|
7285ebb8da
|
Example of infra evaluation.
|
2023-08-26 10:56:29 -07:00 |
|
sforman
|
2482636d9b
|
Note on Variations
|
2023-08-26 10:56:21 -07:00 |
|
sforman
|
53ad9eb5e7
|
Minor edits.
|
2023-08-21 17:58:47 -07:00 |
|
sforman
|
9998e7947b
|
Finished up Generator_Programs.md
|
2023-08-20 17:21:49 -07:00 |
|
sforman
|
ef9f7f2c0e
|
Minor CSS changes.
|
2023-08-18 16:58:25 -07:00 |
|
sforman
|
805ec23e11
|
Edits on BigNums notebook.
|
2023-08-18 16:57:54 -07:00 |
|
sforman
|
99435490d0
|
About 2/5ths done.
|
2023-08-17 12:09:23 -07:00 |
|
sforman
|
387d9d4ed4
|
Working on the notebooks.
|
2023-08-16 10:04:52 -07:00 |
|
sforman
|
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 |
|
sforman
|
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 |
|
sforman
|
60bddcc70e
|
cleanup
|
2023-08-13 08:49:20 -07:00 |
|
sforman
|
4fe3857eb9
|
Put this over there.
|
2023-08-13 08:48:06 -07:00 |
|
sforman
|
1f5bea98b6
|
Minor edits.
|
2023-08-13 08:47:16 -07:00 |
|
sforman
|
f60c138a2c
|
minor cleanup
|
2023-07-27 09:55:26 -07:00 |
|
sforman
|
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 |