OSDN Git Service

joypy/Thun.git
2 years agoWorking on bug #15
Simon Forman [Sun, 28 Nov 2021 21:41:19 +0000 (13:41 -0800)]
Working on bug #15

https://todo.sr.ht/~sforman/thun-der/15

2 years agoI narrowed down the bug.
Simon Forman [Sun, 28 Nov 2021 21:14:07 +0000 (13:14 -0800)]
I narrowed down the bug.

https://todo.sr.ht/~sforman/thun-der/15

Gotta quote your symbols if you put them on the stack, eh?

2 years agoTightening up the debug script.
Simon Forman [Sun, 28 Nov 2021 17:22:03 +0000 (09:22 -0800)]
Tightening up the debug script.

2 years agoUpdate Square_Spiral notebook to use Joy kernel
Simon Forman [Sun, 28 Nov 2021 01:04:15 +0000 (17:04 -0800)]
Update Square_Spiral notebook to use Joy kernel

https://todo.sr.ht/~sforman/thun-der/19

2 years agoA Python version of the `ii` combinator.
Simon Forman [Sun, 28 Nov 2021 00:59:57 +0000 (16:59 -0800)]
A Python version of the `ii` combinator.

2 years agoDo not let defs shadow built-ins.
Simon Forman [Sat, 27 Nov 2021 18:57:55 +0000 (10:57 -0800)]
Do not let defs shadow built-ins.

2 years agoBleah.
Simon Forman [Sat, 27 Nov 2021 18:31:32 +0000 (10:31 -0800)]
Bleah.

2 years agoRecover the square spiral example code.
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?

2 years agoUpdate links on home front page.
Simon Forman [Fri, 26 Nov 2021 17:55:16 +0000 (09:55 -0800)]
Update links on home front page.

2 years agoSo it's NOT the step combinator?
Simon Forman [Fri, 26 Nov 2021 01:48:28 +0000 (17:48 -0800)]
So it's NOT the step combinator?

2 years agoThe problem is in the step combinator definition.
Simon Forman [Fri, 26 Nov 2021 01:38:01 +0000 (17:38 -0800)]
The problem is in the step combinator definition.

2 years agoZipper notebook with defs shadowing built-ins.
Simon Forman [Thu, 25 Nov 2021 19:57:26 +0000 (11:57 -0800)]
Zipper notebook with defs shadowing built-ins.

2 years agoWorking on bug #15
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.

2 years agoJoy Jupyter kernel loads defs.txt
Simon Forman [Thu, 25 Nov 2021 19:12:02 +0000 (11:12 -0800)]
Joy Jupyter kernel loads defs.txt

2 years agoMore changes to the zipper notebook.
Simon Forman [Thu, 25 Nov 2021 19:10:21 +0000 (11:10 -0800)]
More changes to the zipper notebook.

2 years agoUpdate zipper notebook to use Joy kernel.
Simon Forman [Thu, 25 Nov 2021 18:55:33 +0000 (10:55 -0800)]
Update zipper notebook to use Joy kernel.

2 years agoChange zipper doc over to Joy kernel.
Simon Forman [Thu, 25 Nov 2021 17:51:45 +0000 (09:51 -0800)]
Change zipper doc over to Joy kernel.

2 years agobackup-and-remove-htdocs script doc.
Simon Forman [Thu, 25 Nov 2021 17:33:09 +0000 (09:33 -0800)]
backup-and-remove-htdocs script doc.

2 years agoFix bug in `<<{}` function.
Simon Forman [Thu, 25 Nov 2021 17:21:22 +0000 (09:21 -0800)]
Fix bug in `<<{}` function.

2 years agoRemove old defs cruft.
Simon Forman [Thu, 25 Nov 2021 06:36:06 +0000 (22:36 -0800)]
Remove old defs cruft.

2 years agoLoad defs from files into dictionary.
Simon Forman [Thu, 25 Nov 2021 06:01:09 +0000 (22:01 -0800)]
Load defs from files into dictionary.

2 years agoRead defs.txt file from package.
Simon Forman [Thu, 25 Nov 2021 05:16:51 +0000 (21:16 -0800)]
Read defs.txt file from package.

2 years agoModify the inscribe decorator to accept a dict.
Simon Forman [Wed, 24 Nov 2021 23:05:55 +0000 (15:05 -0800)]
Modify the inscribe decorator to accept a dict.

2 years agoJust playing around.
Simon Forman [Wed, 24 Nov 2021 22:53:26 +0000 (14:53 -0800)]
Just playing around.

2 years agoModify working of inscribe command.
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.

2 years agoStart to convert Newton-Raphson notebook to Joy kernel.
Simon Forman [Wed, 24 Nov 2021 21:44:38 +0000 (13:44 -0800)]
Start to convert Newton-Raphson notebook to Joy kernel.

2 years agoLet's switch to the Joy kernel.
Simon Forman [Wed, 24 Nov 2021 20:08:41 +0000 (12:08 -0800)]
Let's switch to the Joy kernel.

2 years agoUpdating the docs. Playing with Joy Kernel.
Simon Forman [Wed, 24 Nov 2021 16:54:08 +0000 (08:54 -0800)]
Updating the docs. Playing with Joy Kernel.

2 years agoCapture stdout so commands like words and trace work.
Simon Forman [Tue, 23 Nov 2021 23:12:59 +0000 (15:12 -0800)]
Capture stdout so commands like words and trace work.

2 years agoInclude trace command in Jupyter kernel.
Simon Forman [Tue, 23 Nov 2021 19:28:29 +0000 (11:28 -0800)]
Include trace command in Jupyter kernel.

2 years agoUsing Jupyter.
Simon Forman [Tue, 23 Nov 2021 19:28:17 +0000 (11:28 -0800)]
Using Jupyter.

2 years agoUpdating the first notebook.
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. (^_^)

2 years agoWrap README.md
Simon Forman [Tue, 23 Nov 2021 03:48:59 +0000 (19:48 -0800)]
Wrap README.md

2 years agoMerge branch 'master' of git.osdn.net:/gitroot/joypy/Thun
Simon Forman [Mon, 22 Nov 2021 18:29:53 +0000 (10:29 -0800)]
Merge branch 'master' of git.osdn.net:/gitroot/joypy/Thun

2 years agoRemove old batch file.
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.

2 years agoMinor cleanup.
Simon Forman [Sat, 20 Nov 2021 19:05:30 +0000 (11:05 -0800)]
Minor cleanup.

2 years agoMinor cleanup
Simon Forman [Fri, 19 Nov 2021 22:27:01 +0000 (14:27 -0800)]
Minor cleanup

;P

2 years agoFixup docs a bit more...
Simon Forman [Fri, 19 Nov 2021 22:03:47 +0000 (14:03 -0800)]
Fixup docs a bit more...

2 years agoStill converting syntax highlighter spec.
Simon Forman [Fri, 19 Nov 2021 21:59:00 +0000 (13:59 -0800)]
Still converting syntax highlighter spec.

2 years agoConvert syntax highlighter spec.
Simon Forman [Fri, 19 Nov 2021 21:57:36 +0000 (13:57 -0800)]
Convert syntax highlighter spec.

2 years agoChange the syntax highlight specifier.
Simon Forman [Fri, 19 Nov 2021 21:56:42 +0000 (13:56 -0800)]
Change the syntax highlight specifier.

2 years agoMerge pull request #1 from calroc/update-sphinx
Simon Forman [Fri, 19 Nov 2021 20:52:09 +0000 (20:52 +0000)]
Merge pull request #1 from calroc/update-sphinx

Update sphinx

2 years agoMore update to 4.3.0
Simon Forman [Fri, 19 Nov 2021 20:49:05 +0000 (12:49 -0800)]
More update to 4.3.0

2 years agoUsing Sphinx 4.3.0
Simon Forman [Fri, 19 Nov 2021 20:46:29 +0000 (12:46 -0800)]
Using Sphinx 4.3.0

2 years agoFix omg.svg and try a thing with the formatter.
Simon Forman [Fri, 19 Nov 2021 20:45:14 +0000 (12:45 -0800)]
Fix omg.svg and try a thing with the formatter.

2 years agoRemove test cruft from makefile.
Simon Forman [Fri, 19 Nov 2021 19:04:41 +0000 (11:04 -0800)]
Remove test cruft from makefile.

2 years agoRename LICENSE in MANIFEST.in
Simon Forman [Fri, 19 Nov 2021 18:51:50 +0000 (10:51 -0800)]
Rename LICENSE in MANIFEST.in

2 years agoRename GPL file.
Simon Forman [Fri, 19 Nov 2021 18:49:49 +0000 (10:49 -0800)]
Rename GPL file.

2 years agoOMG bug!
Simon Forman [Fri, 19 Nov 2021 18:47:13 +0000 (10:47 -0800)]
OMG bug!

This lingered awhile eh?

2 years agoMinor cleanup.
Simon Forman [Sun, 14 Nov 2021 16:50:30 +0000 (08:50 -0800)]
Minor cleanup.

2 years agoGDC2
Simon Forman [Tue, 26 Oct 2021 17:32:19 +0000 (10:32 -0700)]
GDC2

3 years agoThis brings Python Joy into congruence with Nim.
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.

3 years agoCorrect swap.
Simon Forman [Sat, 10 Apr 2021 00:49:44 +0000 (17:49 -0700)]
Correct swap.

3 years agoCorrect swaack.
Simon Forman [Sat, 10 Apr 2021 00:46:45 +0000 (17:46 -0700)]
Correct swaack.

3 years agoCustomizing error messages.
Simon Forman [Sat, 10 Apr 2021 00:41:42 +0000 (17:41 -0700)]
Customizing error messages.

3 years agoBring it inline with Nim version.
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

3 years agoCorrect i combinator.
Simon Forman [Sat, 10 Apr 2021 00:13:09 +0000 (17:13 -0700)]
Correct i combinator.

3 years agoInteger division only please.
Simon Forman [Sat, 10 Apr 2021 00:04:54 +0000 (17:04 -0700)]
Integer division only please.

3 years agoInteresting that Nim checks type of first arg...
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.

3 years agoBringing it in line with Nim version.
Simon Forman [Fri, 9 Apr 2021 23:58:38 +0000 (16:58 -0700)]
Bringing it in line with Nim version.

3 years agoSwitch back to spaces for indentation.
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?

3 years agoSimplify tokenizing, raise Unknown errors.
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.

3 years agoPrint Boolean values with lowercase intitial letters.
Simon Forman [Tue, 6 Apr 2021 18:41:39 +0000 (11:41 -0700)]
Print Boolean values with lowercase intitial letters.

3 years agoParse Boolean literals.
Simon Forman [Tue, 6 Apr 2021 18:34:46 +0000 (11:34 -0700)]
Parse Boolean literals.

3 years agoAdd a "quiet" mode.
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.

3 years agoDon't let module imports have side-effects.
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.

3 years agoDerp! I forgot to modify the built-in defs to use "==".
Simon Forman [Sun, 20 Dec 2020 07:37:39 +0000 (23:37 -0800)]
Derp!  I forgot to modify the built-in defs to use "==".

3 years agoMinor cleanup.
Simon Forman [Sat, 19 Dec 2020 00:10:45 +0000 (16:10 -0800)]
Minor cleanup.

3 years agoLet '==' separate names from definition bodies.
Simon Forman [Fri, 18 Dec 2020 06:06:28 +0000 (22:06 -0800)]
Let '==' separate names from definition bodies.

3 years agoDrag-n-Drop stack util function.
Simon Forman [Fri, 18 Dec 2020 05:02:26 +0000 (21:02 -0800)]
Drag-n-Drop stack util function.

3 years agoUpdate version in README.
Simon Forman [Mon, 23 Nov 2020 17:15:12 +0000 (09:15 -0800)]
Update version in README.

3 years agoFix a typo.
Simon Forman [Mon, 23 Nov 2020 17:06:36 +0000 (09:06 -0800)]
Fix a typo.

3 years agoHmm...
Simon Forman [Mon, 23 Nov 2020 16:59:20 +0000 (08:59 -0800)]
Hmm...

3 years agoFix a typo.
Simon Forman [Mon, 23 Nov 2020 16:44:33 +0000 (08:44 -0800)]
Fix a typo.

3 years agoUpdate some of the docs.
Simon Forman [Thu, 21 May 2020 02:15:47 +0000 (19:15 -0700)]
Update some of the docs.

3 years agoFix indentation in library docstrings.
Simon Forman [Wed, 20 May 2020 23:09:19 +0000 (16:09 -0700)]
Fix indentation in library docstrings.

3 years agoMinor cleanup.
Simon Forman [Wed, 20 May 2020 22:34:30 +0000 (15:34 -0700)]
Minor cleanup.

3 years agoBump version to 0.4.1
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.

3 years agoVersion 0.4.1
Simon Forman [Wed, 20 May 2020 02:39:32 +0000 (19:39 -0700)]
Version 0.4.1

3 years agoPush out v0.4.1 right quick to fix Ticket #40430
Simon Forman [Wed, 20 May 2020 01:05:57 +0000 (18:05 -0700)]
Push out v0.4.1 right quick to fix Ticket #40430

3 years agoMinor cleanup.
Simon Forman [Tue, 19 May 2020 21:50:10 +0000 (14:50 -0700)]
Minor cleanup.

3 years agoYes, tabs.
Simon Forman [Tue, 19 May 2020 21:27:18 +0000 (14:27 -0700)]
Yes, tabs.

3 years agoMention the situation with the type code.
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.

3 years agoRemove the types stuff et. al.
Simon Forman [Tue, 19 May 2020 20:01:37 +0000 (13:01 -0700)]
Remove the types stuff et. al.

3 years agoround
Simon Forman [Tue, 19 May 2020 03:48:30 +0000 (20:48 -0700)]
round

3 years agoZero-or-one not one-or-more.
Simon Forman [Tue, 19 May 2020 03:45:04 +0000 (20:45 -0700)]
Zero-or-one not one-or-more.

3 years agoMinor cleanup.
Simon Forman [Tue, 19 May 2020 03:37:58 +0000 (20:37 -0700)]
Minor cleanup.

3 years agoLet's simplify.
Simon Forman [Tue, 19 May 2020 03:00:00 +0000 (20:00 -0700)]
Let's simplify.

3 years agoRip out type code from the library.
Simon Forman [Tue, 19 May 2020 02:07:07 +0000 (19:07 -0700)]
Rip out type code from the library.

3 years agoLet's simplify.
Simon Forman [Tue, 19 May 2020 01:32:35 +0000 (18:32 -0700)]
Let's simplify.

3 years agoBump version to 0.4.0
Simon Forman [Mon, 18 May 2020 00:28:52 +0000 (17:28 -0700)]
Bump version to 0.4.0

3 years agoVersion 0.4.0
Simon Forman [Mon, 18 May 2020 00:22:31 +0000 (17:22 -0700)]
Version 0.4.0

3 years agoRebuild docs
Simon Forman [Sun, 17 May 2020 23:40:58 +0000 (16:40 -0700)]
Rebuild docs

3 years agoRecognize scientific notation.
Simon Forman [Sun, 17 May 2020 23:10:56 +0000 (16:10 -0700)]
Recognize scientific notation.

3 years agoDon't use `==` for definitions.
Simon Forman [Sun, 17 May 2020 23:02:43 +0000 (16:02 -0700)]
Don't use `==` for definitions.

3 years agoLog reset is less wordy.
Simon Forman [Sun, 17 May 2020 19:58:26 +0000 (12:58 -0700)]
Log reset is less wordy.

3 years agoSlightly more efficient to just print the string.
Simon Forman [Sun, 17 May 2020 18:51:59 +0000 (11:51 -0700)]
Slightly more efficient to just print the string.

3 years agoMake joy/gui/controllerlistbox.py compatible with Python 3.
Simon Forman [Sat, 16 May 2020 17:44:35 +0000 (10:44 -0700)]
Make joy/gui/controllerlistbox.py compatible with Python 3.

3 years agoPython 3.
Simon Forman [Sat, 16 May 2020 16:52:56 +0000 (09:52 -0700)]
Python 3.

3 years agoHow to start Thun under i3.
Simon Forman [Fri, 15 May 2020 14:36:25 +0000 (07:36 -0700)]
How to start Thun under i3.

Needs the filename corrected.