OSDN Git Service
Simon Forman [Sun, 28 Nov 2021 00:59:57 +0000 (16:59 -0800)]
A Python version of the `ii` combinator.
Simon Forman [Sat, 27 Nov 2021 18:57:55 +0000 (10:57 -0800)]
Do not let defs shadow built-ins.
Simon Forman [Sat, 27 Nov 2021 18:31:32 +0000 (10:31 -0800)]
Bleah.
Simon Forman [Sat, 27 Nov 2021 17:04:25 +0000 (09:04 -0800)]
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?
Simon Forman [Fri, 26 Nov 2021 17:55:16 +0000 (09:55 -0800)]
Update links on home front page.
Simon Forman [Fri, 26 Nov 2021 01:48:28 +0000 (17:48 -0800)]
So it's NOT the step combinator?
Simon Forman [Fri, 26 Nov 2021 01:38:01 +0000 (17:38 -0800)]
The problem is in the step combinator definition.
Simon Forman [Thu, 25 Nov 2021 19:57:26 +0000 (11:57 -0800)]
Zipper notebook with defs shadowing built-ins.
Simon Forman [Thu, 25 Nov 2021 19:50:28 +0000 (11:50 -0800)]
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.
Simon Forman [Thu, 25 Nov 2021 19:12:02 +0000 (11:12 -0800)]
Joy Jupyter kernel loads defs.txt
Simon Forman [Thu, 25 Nov 2021 19:10:21 +0000 (11:10 -0800)]
More changes to the zipper notebook.
Simon Forman [Thu, 25 Nov 2021 18:55:33 +0000 (10:55 -0800)]
Update zipper notebook to use Joy kernel.
Simon Forman [Thu, 25 Nov 2021 17:51:45 +0000 (09:51 -0800)]
Change zipper doc over to Joy kernel.
Simon Forman [Thu, 25 Nov 2021 17:33:09 +0000 (09:33 -0800)]
backup-and-remove-htdocs script doc.
Simon Forman [Thu, 25 Nov 2021 17:21:22 +0000 (09:21 -0800)]
Fix bug in `<<{}` function.
Simon Forman [Thu, 25 Nov 2021 06:36:06 +0000 (22:36 -0800)]
Remove old defs cruft.
Simon Forman [Thu, 25 Nov 2021 06:01:09 +0000 (22:01 -0800)]
Load defs from files into dictionary.
Simon Forman [Thu, 25 Nov 2021 05:16:51 +0000 (21:16 -0800)]
Read defs.txt file from package.
Simon Forman [Wed, 24 Nov 2021 23:05:55 +0000 (15:05 -0800)]
Modify the inscribe decorator to accept a dict.
Simon Forman [Wed, 24 Nov 2021 22:53:26 +0000 (14:53 -0800)]
Just playing around.
Simon Forman [Wed, 24 Nov 2021 22:00:46 +0000 (14:00 -0800)]
Modify working of inscribe command.
Instead of a string it now takes a quote.
Simon Forman [Wed, 24 Nov 2021 21:44:38 +0000 (13:44 -0800)]
Start to convert Newton-Raphson notebook to Joy kernel.
Simon Forman [Wed, 24 Nov 2021 20:08:41 +0000 (12:08 -0800)]
Let's switch to the Joy kernel.
Simon Forman [Wed, 24 Nov 2021 16:54:08 +0000 (08:54 -0800)]
Updating the docs. Playing with Joy Kernel.
Simon Forman [Tue, 23 Nov 2021 23:12:59 +0000 (15:12 -0800)]
Capture stdout so commands like words and trace work.
Simon Forman [Tue, 23 Nov 2021 19:28:29 +0000 (11:28 -0800)]
Include trace command in Jupyter kernel.
Simon Forman [Tue, 23 Nov 2021 19:28:17 +0000 (11:28 -0800)]
Using Jupyter.
Simon Forman [Tue, 23 Nov 2021 18:11:46 +0000 (10:11 -0800)]
Updating the first notebook.
It's not done, but it's a start. (^_^)
Simon Forman [Tue, 23 Nov 2021 03:48:59 +0000 (19:48 -0800)]
Wrap README.md
Simon Forman [Mon, 22 Nov 2021 18:29:53 +0000 (10:29 -0800)]
Merge branch 'master' of git.osdn.net:/gitroot/joypy/Thun
Simon Forman [Mon, 22 Nov 2021 18:29:11 +0000 (10:29 -0800)]
Remove old batch file.
I'm not really supporting windows, and this was too simple to really
merit it's own script.
Simon Forman [Sat, 20 Nov 2021 19:05:30 +0000 (11:05 -0800)]
Minor cleanup.
Simon Forman [Fri, 19 Nov 2021 22:27:01 +0000 (14:27 -0800)]
Minor cleanup
;P
Simon Forman [Fri, 19 Nov 2021 22:03:47 +0000 (14:03 -0800)]
Fixup docs a bit more...
Simon Forman [Fri, 19 Nov 2021 21:59:00 +0000 (13:59 -0800)]
Still converting syntax highlighter spec.
Simon Forman [Fri, 19 Nov 2021 21:57:36 +0000 (13:57 -0800)]
Convert syntax highlighter spec.
Simon Forman [Fri, 19 Nov 2021 21:56:42 +0000 (13:56 -0800)]
Change the syntax highlight specifier.
Simon Forman [Fri, 19 Nov 2021 20:52:09 +0000 (20:52 +0000)]
Merge pull request #1 from calroc/update-sphinx
Update sphinx
Simon Forman [Fri, 19 Nov 2021 20:49:05 +0000 (12:49 -0800)]
More update to 4.3.0
Simon Forman [Fri, 19 Nov 2021 20:46:29 +0000 (12:46 -0800)]
Using Sphinx 4.3.0
Simon Forman [Fri, 19 Nov 2021 20:45:14 +0000 (12:45 -0800)]
Fix omg.svg and try a thing with the formatter.
Simon Forman [Fri, 19 Nov 2021 19:04:41 +0000 (11:04 -0800)]
Remove test cruft from makefile.
Simon Forman [Fri, 19 Nov 2021 18:51:50 +0000 (10:51 -0800)]
Rename LICENSE in MANIFEST.in
Simon Forman [Fri, 19 Nov 2021 18:49:49 +0000 (10:49 -0800)]
Rename GPL file.
Simon Forman [Fri, 19 Nov 2021 18:47:13 +0000 (10:47 -0800)]
OMG bug!
This lingered awhile eh?
Simon Forman [Sun, 14 Nov 2021 16:50:30 +0000 (08:50 -0800)]
Minor cleanup.
Simon Forman [Tue, 26 Oct 2021 17:32:19 +0000 (10:32 -0700)]
GDC2
Simon Forman [Sat, 10 Apr 2021 01:01:07 +0000 (18:01 -0700)]
This brings Python Joy into congruence with Nim.
It's hacky. I edited the generated file. The more complicated
functions like popop will not generate the same errors as the Nim
versions. This is only congruence in the sense that the current jtest
suite passes identically on both.
Ideally I should be generating both the Nim and Python code from the
Prolog compiler.
Simon Forman [Sat, 10 Apr 2021 00:49:44 +0000 (17:49 -0700)]
Correct swap.
Simon Forman [Sat, 10 Apr 2021 00:46:45 +0000 (17:46 -0700)]
Correct swaack.
Simon Forman [Sat, 10 Apr 2021 00:41:42 +0000 (17:41 -0700)]
Customizing error messages.
Simon Forman [Sat, 10 Apr 2021 00:32:51 +0000 (17:32 -0700)]
Bring it inline with Nim version.
See https://git.sr.ht/~sforman/joytest
Simon Forman [Sat, 10 Apr 2021 00:13:09 +0000 (17:13 -0700)]
Correct i combinator.
Simon Forman [Sat, 10 Apr 2021 00:04:54 +0000 (17:04 -0700)]
Integer division only please.
Simon Forman [Fri, 9 Apr 2021 23:59:06 +0000 (16:59 -0700)]
Interesting that Nim checks type of first arg...
...before stack depth of second arg.
Simon Forman [Fri, 9 Apr 2021 23:58:38 +0000 (16:58 -0700)]
Bringing it in line with Nim version.
Simon Forman [Fri, 9 Apr 2021 23:16:34 +0000 (16:16 -0700)]
Switch back to spaces for indentation.
For better or worse, Python 3 won. No need to be shitty about it, eh?
Simon Forman [Tue, 6 Apr 2021 19:40:04 +0000 (12:40 -0700)]
Simplify tokenizing, raise Unknown errors.
This brings the behaviour of Python Joy into congruence with Nim Joy.
Simon Forman [Tue, 6 Apr 2021 18:41:39 +0000 (11:41 -0700)]
Print Boolean values with lowercase intitial letters.
Simon Forman [Tue, 6 Apr 2021 18:34:46 +0000 (11:34 -0700)]
Parse Boolean literals.
Simon Forman [Tue, 6 Apr 2021 18:28:30 +0000 (11:28 -0700)]
Add a "quiet" mode.
This brings the Python Joy interpreter into better congruence with the
Nim interpreter for ease of automated testing.
Simon Forman [Sun, 20 Dec 2020 07:53:04 +0000 (23:53 -0800)]
Don't let module imports have side-effects.
The pretty printer module was inscribing the trace command as a side-
effect of importing it.
Simon Forman [Sun, 20 Dec 2020 07:37:39 +0000 (23:37 -0800)]
Derp! I forgot to modify the built-in defs to use "==".
Simon Forman [Sat, 19 Dec 2020 00:10:45 +0000 (16:10 -0800)]
Minor cleanup.
Simon Forman [Fri, 18 Dec 2020 06:06:28 +0000 (22:06 -0800)]
Let '==' separate names from definition bodies.
Simon Forman [Fri, 18 Dec 2020 05:02:26 +0000 (21:02 -0800)]
Drag-n-Drop stack util function.
Simon Forman [Mon, 23 Nov 2020 17:15:12 +0000 (09:15 -0800)]
Update version in README.
Simon Forman [Mon, 23 Nov 2020 17:06:36 +0000 (09:06 -0800)]
Fix a typo.
Simon Forman [Mon, 23 Nov 2020 16:59:20 +0000 (08:59 -0800)]
Hmm...
Simon Forman [Mon, 23 Nov 2020 16:44:33 +0000 (08:44 -0800)]
Fix a typo.
Simon Forman [Thu, 21 May 2020 02:15:47 +0000 (19:15 -0700)]
Update some of the docs.
Simon Forman [Wed, 20 May 2020 23:09:19 +0000 (16:09 -0700)]
Fix indentation in library docstrings.
Simon Forman [Wed, 20 May 2020 22:34:30 +0000 (15:34 -0700)]
Minor cleanup.
Simon Forman [Wed, 20 May 2020 02:39:44 +0000 (19:39 -0700)]
Bump version to 0.4.1
* Parse scientific notation correctly.
* The `round` function works correctly.
Simon Forman [Wed, 20 May 2020 02:39:32 +0000 (19:39 -0700)]
Version 0.4.1
Simon Forman [Wed, 20 May 2020 01:05:57 +0000 (18:05 -0700)]
Push out v0.4.1 right quick to fix Ticket #40430
Simon Forman [Tue, 19 May 2020 21:50:10 +0000 (14:50 -0700)]
Minor cleanup.
Simon Forman [Tue, 19 May 2020 21:27:18 +0000 (14:27 -0700)]
Yes, tabs.
Simon Forman [Tue, 19 May 2020 21:09:00 +0000 (14:09 -0700)]
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.
Simon Forman [Tue, 19 May 2020 20:01:37 +0000 (13:01 -0700)]
Remove the types stuff et. al.
Simon Forman [Tue, 19 May 2020 03:48:30 +0000 (20:48 -0700)]
round
Simon Forman [Tue, 19 May 2020 03:45:04 +0000 (20:45 -0700)]
Zero-or-one not one-or-more.
Simon Forman [Tue, 19 May 2020 03:37:58 +0000 (20:37 -0700)]
Minor cleanup.
Simon Forman [Tue, 19 May 2020 03:00:00 +0000 (20:00 -0700)]
Let's simplify.
Simon Forman [Tue, 19 May 2020 02:07:07 +0000 (19:07 -0700)]
Rip out type code from the library.
Simon Forman [Tue, 19 May 2020 01:32:35 +0000 (18:32 -0700)]
Let's simplify.
Simon Forman [Mon, 18 May 2020 00:28:52 +0000 (17:28 -0700)]
Bump version to 0.4.0
Simon Forman [Mon, 18 May 2020 00:22:31 +0000 (17:22 -0700)]
Version 0.4.0
Simon Forman [Sun, 17 May 2020 23:40:58 +0000 (16:40 -0700)]
Rebuild docs
Simon Forman [Sun, 17 May 2020 23:10:56 +0000 (16:10 -0700)]
Recognize scientific notation.
Simon Forman [Sun, 17 May 2020 23:02:43 +0000 (16:02 -0700)]
Don't use `==` for definitions.
Simon Forman [Sun, 17 May 2020 19:58:26 +0000 (12:58 -0700)]
Log reset is less wordy.
Simon Forman [Sun, 17 May 2020 18:51:59 +0000 (11:51 -0700)]
Slightly more efficient to just print the string.
Simon Forman [Sat, 16 May 2020 17:44:35 +0000 (10:44 -0700)]
Make joy/gui/controllerlistbox.py compatible with Python 3.
Simon Forman [Sat, 16 May 2020 16:52:56 +0000 (09:52 -0700)]
Python 3.
Simon Forman [Fri, 15 May 2020 14:36:25 +0000 (07:36 -0700)]
How to start Thun under i3.
Needs the filename corrected.
Simon Forman [Fri, 15 May 2020 14:35:16 +0000 (07:35 -0700)]
It must be a BytesIO.
Simon Forman [Fri, 15 May 2020 14:34:47 +0000 (07:34 -0700)]
Trying out a different dsiplay format.
Simon Forman [Sun, 10 May 2020 19:46:33 +0000 (12:46 -0700)]
Format lists properly.
Simon Forman [Sun, 10 May 2020 19:18:34 +0000 (12:18 -0700)]
Try logging just the commands.