OSDN Git Service
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.
Simon Forman [Sun, 10 May 2020 19:17:54 +0000 (12:17 -0700)]
I3 config with suggested layout.
Stack in upper left corner, log below in same width, scratch window takes up the rest.
Simon Forman [Sun, 10 May 2020 17:42:10 +0000 (10:42 -0700)]
show_stack in case you close the stack window.
Simon Forman [Sun, 10 May 2020 17:35:42 +0000 (10:35 -0700)]
Set the font on the listbox.
Simon Forman [Sun, 10 May 2020 15:38:37 +0000 (08:38 -0700)]
Remove listbox try out script.
Simon Forman [Sun, 10 May 2020 15:36:05 +0000 (08:36 -0700)]
Update view of stack at start.
Simon Forman [Sun, 10 May 2020 15:28:49 +0000 (08:28 -0700)]
Connect it up.
Inelegant but functional.
Simon Forman [Sun, 10 May 2020 02:09:23 +0000 (19:09 -0700)]
Bring in the listbox widget with drag.
You can drag items up and down to rearrange the list.
Simon Forman [Sun, 10 May 2020 00:31:40 +0000 (17:31 -0700)]
With i3 use separate windows again.
Simon Forman [Wed, 29 Apr 2020 14:46:32 +0000 (07:46 -0700)]
Version 0.3.0
Simon Forman [Tue, 5 May 2020 22:52:40 +0000 (15:52 -0700)]
`primrec` combinator in Prolog
Ticket #40375
Simon Forman [Tue, 5 May 2020 22:22:12 +0000 (15:22 -0700)]
primrec combinator
Ticket #40375
Simon Forman [Sat, 2 May 2020 19:51:29 +0000 (12:51 -0700)]
Put the log and scratch text in the same window.
This is a step towards Ticket #40360 without going all the way. You can
open additional viewer windows. They are not connected by an
Oberon-style messaging system (yet. It would be nice to use the Tk event
system for that.)
This way the log and the main/scratch/system-menu text are conceptually
unified in the (equivelent of "desktop") base metaphor of the system.
Simon Forman [Sat, 2 May 2020 06:09:09 +0000 (23:09 -0700)]
Python is 3 now.
Simon Forman [Wed, 29 Apr 2020 00:33:10 +0000 (17:33 -0700)]
Add Python 3 classifiers and ignore __pycache__ dirs.
Simon Forman [Tue, 28 Apr 2020 22:46:32 +0000 (15:46 -0700)]
Closes Ticket #40371 Bump version number to 0.3.0
Simon Forman [Tue, 28 Apr 2020 22:37:49 +0000 (15:37 -0700)]
Rebuild docs with Python 3 and Sphinx 3.0.2.
Simon Forman [Tue, 28 Apr 2020 22:28:58 +0000 (15:28 -0700)]
Indent with tabs.
Simon Forman [Tue, 28 Apr 2020 22:28:43 +0000 (15:28 -0700)]
Trace command.
Don't print trace by default, instead a new `trace` combinator wirks like `i` and prints a trace.
Simon Forman [Tue, 28 Apr 2020 18:05:19 +0000 (11:05 -0700)]
Rename primrec to tailrec.
Simon Forman [Tue, 28 Apr 2020 17:42:09 +0000 (10:42 -0700)]
Fixes #38237 Sort out stack/unstack/enstacken/disenstacken
Simon Forman [Tue, 28 Apr 2020 17:28:30 +0000 (10:28 -0700)]
Switch the names of unstack and disenstacken.
Part of Ticket #38237
Still need to update the docs.
Simon Forman [Sun, 26 Apr 2020 02:12:25 +0000 (19:12 -0700)]
Make it easy to install the tools to build the docs.
Simon Forman [Sun, 26 Apr 2020 01:41:26 +0000 (18:41 -0700)]
Minor cleanup.
Simon Forman [Sun, 26 Apr 2020 01:24:14 +0000 (18:24 -0700)]
Some comments in gui.main.
Simon Forman [Sat, 25 Apr 2020 22:59:31 +0000 (15:59 -0700)]
Finally remove all mentions of the old polytypes module.
It was merged with types long ago.
Simon Forman [Sat, 25 Apr 2020 22:08:58 +0000 (15:08 -0700)]
Fixes #40358 Help output could be better.
For now. Add a header and footer. Later on when I have per-function docs
it can look those up and print them (or open a viewer in the GUI.)
Simon Forman [Sat, 25 Apr 2020 21:14:35 +0000 (14:14 -0700)]
Minor docs update.
Simon Forman [Sat, 25 Apr 2020 21:13:52 +0000 (14:13 -0700)]
Fixes #40345 automate publication of docs
With the help of a little tar script on the server and rsync.