Commit Graph

269 Commits

Author SHA1 Message Date
Simon Forman 1b193b1924 Recover the square spiral example code.
I hve no idea how this isn't in VCS.  I checked hg and git.  Is it in
an old branch that I deleted before merging or something?  I have
backups from which to restore, but it would be nice to know how I effed
it up in the first place, eh?
2021-11-27 09:04:25 -08:00
Simon Forman f96013d649 Update links on home front page. 2021-11-26 09:55:16 -08:00
Simon Forman f07db9da0a Zipper notebook with defs shadowing built-ins. 2021-11-25 11:57:26 -08:00
Simon Forman 61c4d4b16e Working on bug #15
https://todo.sr.ht/~sforman/thun-der/15/

The bug file output was too large for a comment, and you can't attach
files to the ticket, so I'm checking it in to have a handy reference.
2021-11-25 11:52:06 -08:00
Simon Forman b0b9a71fd9 Joy Jupyter kernel loads defs.txt 2021-11-25 11:12:02 -08:00
Simon Forman 770cd783fa More changes to the zipper notebook. 2021-11-25 11:10:21 -08:00
Simon Forman 600dc05030 Update zipper notebook to use Joy kernel. 2021-11-25 10:55:33 -08:00
Simon Forman 0ab8979d7a Change zipper doc over to Joy kernel. 2021-11-25 09:51:45 -08:00
Simon Forman e013096f47 backup-and-remove-htdocs script doc. 2021-11-25 09:33:09 -08:00
Simon Forman 0c51a3fc7d Just playing around. 2021-11-24 14:53:26 -08:00
Simon Forman 688f880b9f Start to convert Newton-Raphson notebook to Joy kernel. 2021-11-24 13:44:38 -08:00
Simon Forman 865f06d93d Let's switch to the Joy kernel. 2021-11-24 12:08:41 -08:00
Simon Forman f7364a6161 Updating the docs. Playing with Joy Kernel. 2021-11-24 08:54:08 -08:00
Simon Forman 876c68c02f Capture stdout so commands like words and trace work. 2021-11-23 15:12:59 -08:00
Simon Forman 0c7df6d4cd Include trace command in Jupyter kernel. 2021-11-23 11:29:34 -08:00
Simon Forman cdf4c94a2b Using Jupyter. 2021-11-23 11:28:17 -08:00
Simon Forman 8a78f9d71d Updating the first notebook.
It's not done, but it's a start. (^_^)
2021-11-23 10:11:46 -08:00
Simon Forman 3be8efc92f Wrap README.md 2021-11-22 19:48:59 -08:00
Simon Forman b41b22248c Minor cleanup
;P
2021-11-19 14:27:01 -08:00
Simon Forman f36b6dc7ca Fixup docs a bit more... 2021-11-19 14:03:47 -08:00
Simon Forman a69b7e2a56 Still converting syntax highlighter spec. 2021-11-19 13:59:00 -08:00
Simon Forman 3f40e30c6f Convert syntax highlighter spec. 2021-11-19 13:57:36 -08:00
Simon Forman 31c26cd235 Change the syntax highlight specifier. 2021-11-19 13:56:42 -08:00
Simon Forman 9bf58ff953 More update to 4.3.0 2021-11-19 12:49:05 -08:00
Simon Forman eeda5044ad Using Sphinx 4.3.0 2021-11-19 12:46:29 -08:00
Simon Forman 918aafb139 Fix omg.svg and try a thing with the formatter. 2021-11-19 12:45:14 -08:00
Simon Forman ffabda0407 Update some of the docs. 2020-05-20 19:15:47 -07:00
Simon Forman 6a6b63bf62 Fix indentation in library docstrings. 2020-05-20 16:09:19 -07:00
Simon Forman ba0c24c39b Minor cleanup. 2020-05-20 15:34:30 -07:00
Simon Forman f9ac667cc5 Bump version to 0.4.1
* Parse scientific notation correctly.
 * The `round` function works correctly.
2020-05-19 19:39:44 -07:00
Simon Forman 1cbeb5d866 Mention the situation with the type code.
I removed it but it's still there in tag v0.4.0 if you want to look at
it.  The Prolog code is just sooooooooo  much more elegant.  it's a rare
case, and a hard decision, but the right thing to do is throw away
working code.  Wow.
2020-05-19 14:09:00 -07:00
Simon Forman 8bd0e7ce0e Remove the types stuff et. al. 2020-05-19 13:01:37 -07:00
Simon Forman 889bc7f9ad Bump version to 0.4.0 2020-05-17 17:28:52 -07:00
Simon Forman 56da4690d0 Rebuild docs 2020-05-17 16:40:58 -07:00
Simon Forman b935e53ca4 Python is 3 now. 2020-05-01 23:09:09 -07:00
Simon Forman 46d5c32e9f Closes Ticket #40371 Bump version number to 0.3.0 2020-04-28 15:46:32 -07:00
Simon Forman 7f6fcf6e09 Rebuild docs with Python 3 and Sphinx 3.0.2. 2020-04-28 15:37:49 -07:00
Simon Forman 176e427116 Indent with tabs. 2020-04-28 15:28:58 -07:00
Simon Forman 4704799c37 Rename primrec to tailrec. 2020-04-28 11:05:19 -07:00
Simon Forman 750f498512 Fixes #38237 Sort out stack/unstack/enstacken/disenstacken 2020-04-28 10:42:09 -07:00
Simon Forman a66fd8d173 Finally remove all mentions of the old polytypes module.
It was merged with types long ago.
2020-04-25 15:59:31 -07:00
Simon Forman acd65f18f7 Minor docs update. 2020-04-25 14:14:35 -07:00
Simon Forman 638ce5a5cf Don't automodule non-existent joy.utils.polytypes module. 2020-04-24 21:27:26 -07:00
Simon Forman d7d6114963 Rebuilt some sphinx docs. 2020-04-24 17:21:08 -07:00
Simon Forman ff6d427b2f Fixes: #38238 rename pushback to concat. 2020-04-24 17:12:46 -07:00
Simon Forman 14f706cd96 Rebuilt some docs. Minor edits. 2020-04-24 16:10:28 -07:00
Simon Forman 868e9f9b52 Ignore build and virtual env ("venv"). 2020-04-23 18:59:12 -07:00
Simon Forman 49cc9c8709 Better instuctions for running docs notebooks. 2020-04-23 18:53:32 -07:00
Simon Forman 0801c9216a Delete a pyc file. 2020-04-23 15:25:54 -07:00
Simon Forman e0d8910242 Docs on Start Up Sequence 2019-05-07 23:23:53 -07:00
Simon Forman 21b69ea260 Stop hg ignoring the build dir.
I want to include the HTML output of sphinx so you can view it without having to install sphinx.
2019-05-07 17:45:39 -07:00
Simon Forman 4f5caf4ab3 More docs... 2019-05-07 13:49:27 -07:00
Simon Forman 13515b071b A bit more on the docs. 2019-05-07 10:23:43 -07:00
Simon Forman 028ecc0287 Move VUI package/module graph. 2019-05-07 10:00:52 -07:00
Simon Forman edda5ed04c screenshot 2019-05-06 23:06:36 -07:00
Simon Forman 663ddab7a7 A start on docs for VUI.
It's hella crude yet.
2019-05-06 23:05:50 -07:00
Simon Forman 3b09f9c356 Welcome to the Sphinx 1.8.5 quickstart utility. 2019-05-06 19:43:36 -07:00
Simon Forman d3b413493f Some images generated by pyreverse or whatever. 2019-05-06 13:09:45 -07:00
Simon Forman 343812dac6 I just want to publish this right quick. 2018-08-24 17:05:42 -07:00
Simon Forman 3b0b7659b3 A bunch of docs.
Things have kind of run away with me.  I've been working in Prolog for
the last month or so.  I'm not yet sure how to bring it together with the
Python code.
2018-08-24 16:48:15 -07:00
Simon Forman 3e6a49ac27 The version of Python with Anaconda is lightly newer. 2018-08-24 16:46:18 -07:00
Simon Forman 612d48d8cc Update docs. 2018-07-16 09:11:25 -07:00
Simon Forman 230134e6c2 Make sure we've got all the docs, etc. 2018-07-15 20:43:26 -07:00
Simon Forman c83efb2aee Module dependency graphs.
Made with Snakefood and Dot.  I'm going to have to come through and clean
these up eventually.
2018-07-14 12:30:45 -07:00
Simon Forman 54491f0da2 A little more bit o' docs. 2018-07-14 12:29:25 -07:00
Simon Forman 41b39e5977 A bit more docs. 2018-07-14 12:07:49 -07:00
Simon Forman f8829e25fa A little more documentation. 2018-07-11 07:13:05 -07:00
Simon Forman ab1f5227ba Hmm.
I think update() should be done better...
2018-06-30 12:59:14 -07:00
Simon Forman 4406a6620b Type inference of Joy expressions.
More remains to be done but it seems to work.
2018-06-29 13:19:12 -07:00
Simon Forman fc45727008 Minor cleanup. 2018-06-27 19:03:23 -07:00
Simon Forman 9ee50a6268 Minor edits. 2018-06-27 16:31:00 -07:00
Simon Forman bbc0fae2e9 Minor edits. 2018-06-26 21:44:18 -07:00
Simon Forman 56262fc53e Dropped some HTML docs somehow. 2018-06-26 15:58:18 -07:00
Simon Forman eb739024eb Type checking, initial work. 2018-06-26 15:23:51 -07:00
Simon Forman 41d979b233 A bit more text in the Types notebook.
It's still pretty drafty.  I'm working on the code and then I'll write up
the last bit of docs.
2018-06-25 11:32:27 -07:00
Simon Forman 1aace53fa0 Infencer/Interpreter hybrid and Kleene Star types.
Still draft but it works.  Gotta clean it up and supply defs for basis
functions.
2018-06-24 16:33:07 -07:00
Simon Forman 968556c7f3 Simple type inference and compiler.
The compiler works for the subset of Joy functions that deal strictly in
manipulating stacks and their contents.
2018-06-21 21:23:34 -07:00
Simon Forman ca05ea404a Bunches of new docs.
Type inference!

A new treatment of recursion combinator patterns.
2018-06-21 21:13:50 -07:00
Simon Forman ac56b0f03c Removing old html. 2018-06-08 13:22:13 -07:00
Simon Forman 0264efdda6 Rebuild html. 2018-06-08 13:17:36 -07:00
Simon Forman b98e9f2107 The Hylos notebook is not ready for public yet. 2018-06-08 13:05:59 -07:00
Simon Forman f5fe7d9726 Move notebook rst files to sphinx subdir.
Only for the ones that are already prepared.
2018-06-07 12:48:24 -07:00
Simon Forman abdece348f Spaces in filenames noooo. 2018-06-07 12:42:15 -07:00
Simon Forman 507d045a3d Cleaning up docs. 2018-06-07 12:37:32 -07:00
Simon Forman 956d849c8a Toplevel makefile docs target uses docs makefile. 2018-06-06 13:33:04 -07:00
Simon Forman 989e48c155 Only (re)make changed notebooks.
I love make.  (Despite not working with spaces in filenames, since that's
a dumbass thing to do anyway.)  There's probably a better way to do what
I did but it works so I'm happy.
2018-06-06 13:27:51 -07:00
Simon Forman d050180b88 Some docs that got swept up in the commotion. 2018-06-06 13:08:04 -07:00
Simon Forman 36b770f000 Make hates spaces in file names. 2018-06-06 13:07:31 -07:00
Simon Forman 81919c4bbe Make cannot deal with spaces in filenames.
Is make wrong, or is it your filename?
2018-06-06 12:57:12 -07:00
Simon Forman 8a0a5e9f30 I want to re-make only edited notebooks.
Not all of them each time.
2018-06-06 12:48:16 -07:00
Simon Forman 09276fdc13 Bunch of minor docs edits. 2018-06-06 12:47:11 -07:00
Simon Forman 3fb1e0ea81 Minor docs edit. 2018-06-06 11:45:33 -07:00
Simon Forman c60d54d009 Minor docs edits. 2018-06-06 11:32:19 -07:00
Simon Forman 637d4efa6a Minor docs cleanup. 2018-06-06 11:20:31 -07:00
Simon Forman 0de5029c98 Bumped version to 0.2.0; docs edits.
I've added cond and cmp to the library so that should bump the minor
version no. I think.
2018-06-06 08:47:26 -07:00
Simon Forman 22f7c6da00 Minor docs edits. 2018-06-06 07:59:06 -07:00
Simon Forman be6387f1f6 Regenerated docs. 2018-06-05 17:41:22 -07:00
Simon Forman 9a04534b05 More docs. 2018-06-05 17:39:18 -07:00
Simon Forman e67a6f7b6e Working on tree docs. 2018-05-29 11:38:58 -07:00
Simon Forman aafecdc035 Editing Trees; implemented BTree-Delete. 2018-05-08 08:34:20 -07:00
Simon Forman c3a3f5a527 Still working towards v0.1.1 docs. 2018-05-01 08:41:39 -07:00
Simon Forman 04e8f70dd2 More docs changes. 2018-04-30 10:12:56 -07:00
Simon Forman f3b72b1938 Missed the notebooks *.html files. 2018-04-28 09:30:47 -07:00
Simon Forman 946d920cad More docs
Working towards that v0.1.1.
2018-04-28 09:10:47 -07:00
Simon Forman aabe19036f Still working towards v0.1.1.
The next "patch" bump is almost all docs.
2018-04-27 12:08:46 -07:00
Simon Forman 7aa8580ee3 Working on docs. 2018-04-26 11:47:55 -07:00
Simon Forman 8dc629cbd5 Remove a couple of docs.
One redundant the other unneeded.
2018-04-26 07:02:22 -07:00
Simon Forman 327548d715 Notebooks in Sphinx?
Converting the notebooks to ReST with nbconvert, then using sphinx on the
.rst files gives a pretty decent effect, except that the title levels are
off a little.

I need to look into hosting for the notebooks, maybe on MS Azure.  In the
meantime, I prefer the HTML made by Sphinx to the HTML made by nbconvert
directly.  It has index and cross refs and the code blocks scroll
horizontally which is crucial for wide Joy traces.  And Garamond.  God
bless Garamond.

For the Sphinx docs I'm going to edit the notebook ReST files by hand,
diverging from the originals.
2018-04-26 07:00:36 -07:00
Simon Forman aac5a42cab Somehow these didn't get added earlier. 2018-04-25 20:55:26 -07:00
Simon Forman 6797497453 Bump version to 0.1.1
To cover the docs updates and such.
2018-04-25 20:53:59 -07:00
Simon Forman 59c15956fa Include Sphinx-built HTML. 2018-04-25 13:57:23 -07:00
Simon Forman 2887132aeb Editing Sphinx docs.
A lot more still to do but it's coming along.
2018-04-25 13:35:03 -07:00
Simon Forman cfbd9a5182 ReST docs & library edits for Sphinx
Used Pandoc to convert the notebooks to rst format.  Used 2to3 to edit
the function signatures that were causing sphinx to error out.  Am I
really the only one who uses that syntax?
2018-04-24 22:07:21 -07:00
Simon Forman 147641611d Working on the Sphinx docs.
I had to remove the tuples from the args specs, sphinx had kittens.

I see value both in the autodoc for library.py and the library examples
Jupyter notebook (converted to ReST format) so I'm including them both.

Calling the library module autodocs the "Function Reference".
2018-04-24 21:01:16 -07:00
Simon Forman 93b35593d4 Sphinx docs coming along.
It's so pretty!  Make me want to write more docs.  :-)

Some weird bug parsing the library.py module though.  D'oh!
2018-04-22 22:44:49 -07:00
Simon Forman 2d617a2588 Messing with Sphinx. 2018-04-22 18:26:20 -07:00
Simon Forman a2be822703 Let's try Sphinx... 2018-04-22 15:28:40 -07:00
Simon Forman 669c86cbf1 Change project name to Thun.
I waited too long to upload to PyPI and some other bastard snagged the name.  I originally wanted to call it "Thun" as a tribute to Manfred von Thun, but I was concerned that this might seem to violate the thrid clause in the license of the original Joy code, to wit:

3. The name of the author may not be used to endorse or promote products  derived from this software without specific prior written permission.

Since the author is deceased I don't know of whom to ask permission to call this project Thun, but since I am not trying to "endorse or promote" this project with his name it should be alright.  In any event if anyone complains I can rename the project again.
2018-04-21 21:26:41 -07:00
Simon Forman beb7155b4a Initial move of code from git repo. 2018-04-14 18:13:13 -07:00