OSDN Git Service
sforman [Wed, 4 Oct 2023 03:19:31 +0000 (20:19 -0700)]
Use slightly smaller font files.
sforman [Wed, 4 Oct 2023 03:17:04 +0000 (20:17 -0700)]
Minor edits.
sforman [Sun, 1 Oct 2023 19:48:25 +0000 (12:48 -0700)]
Tidy?
sforman [Sun, 1 Oct 2023 16:21:16 +0000 (09:21 -0700)]
A little more work on the ref doc.
sforman [Sat, 30 Sep 2023 21:41:39 +0000 (14:41 -0700)]
Mark combinators.
sforman [Sat, 30 Sep 2023 21:25:12 +0000 (14:25 -0700)]
Build the ref doc.
sforman [Fri, 29 Sep 2023 22:25:49 +0000 (15:25 -0700)]
Put interpreter on pages.
sforman [Fri, 29 Sep 2023 01:35:54 +0000 (18:35 -0700)]
Give it it's own CSS file.
It's good enough for now.
sforman [Thu, 28 Sep 2023 18:53:34 +0000 (11:53 -0700)]
remove the individual md ref files
sforman [Thu, 28 Sep 2023 18:36:19 +0000 (11:36 -0700)]
Minor edits.
sforman [Sun, 24 Sep 2023 04:20:37 +0000 (21:20 -0700)]
Div, mod handle zero.
sforman [Sat, 23 Sep 2023 17:59:38 +0000 (10:59 -0700)]
Typo.
sforman [Sat, 23 Sep 2023 16:37:43 +0000 (09:37 -0700)]
Elm reformatting and demo HTML page.
sforman [Mon, 18 Sep 2023 18:26:50 +0000 (11:26 -0700)]
Change definition of uncons.
sforman [Thu, 7 Sep 2023 01:26:52 +0000 (18:26 -0700)]
Use blob URL.
sforman [Thu, 7 Sep 2023 01:24:27 +0000 (18:24 -0700)]
Add grammar image.
Made with https://jacquev6.github.io/DrawGrammar/
sforman [Sat, 2 Sep 2023 18:30:18 +0000 (11:30 -0700)]
Elm version using BigNums.
This went pretty smoothly, I just followed the compiler errors after
substituting Integer for Int in the type definition.
The only tricky thing is that the div and mod functions for Integer
return Maybe Integer rather than just Integer, so I need to wrap those
or something? (For now I just put in add to get it to compile.)
Oh, and "not equal" is not correct? The compiler didn't complain.
sforman [Sat, 2 Sep 2023 18:11:42 +0000 (11:11 -0700)]
Let's use bignums.
sforman [Sat, 2 Sep 2023 16:44:57 +0000 (09:44 -0700)]
Don't use andThen.
It's less clear than spelling it all out.
sforman [Sat, 2 Sep 2023 16:38:15 +0000 (09:38 -0700)]
Chaining with andThen works but is ugly.
It's lees clear to me what's going on, and I wrote it.
sforman [Thu, 31 Aug 2023 17:42:29 +0000 (10:42 -0700)]
I think Scheme?
sforman [Thu, 31 Aug 2023 02:57:57 +0000 (19:57 -0700)]
Rebuilt C.
sforman [Thu, 31 Aug 2023 01:54:49 +0000 (18:54 -0700)]
Compiling Thun to Python.
Not all of the words that compiled with the old defs.txt compiled with
the latest, so we're keeping the old one in here until I can trace down
the issues.
sforman [Thu, 31 Aug 2023 01:52:26 +0000 (18:52 -0700)]
pow
sforman [Thu, 31 Aug 2023 01:46:51 +0000 (18:46 -0700)]
Update Nim defs.txt.
sforman [Thu, 31 Aug 2023 01:44:55 +0000 (18:44 -0700)]
Simple linear power function.
sforman [Wed, 30 Aug 2023 23:57:48 +0000 (16:57 -0700)]
THe old compiler-to-Python.
sforman [Wed, 30 Aug 2023 17:42:29 +0000 (10:42 -0700)]
Rename BigNums.
sforman [Wed, 30 Aug 2023 14:26:47 +0000 (07:26 -0700)]
Add a README to the docs/ dir.
sforman [Wed, 30 Aug 2023 14:25:11 +0000 (07:25 -0700)]
Test calling dip on non-quote.
sforman [Tue, 29 Aug 2023 13:12:51 +0000 (06:12 -0700)]
I just realized these all refer to the old package organization.
sforman [Tue, 29 Aug 2023 03:46:19 +0000 (20:46 -0700)]
Better exceptions.
sforman [Sat, 26 Aug 2023 17:56:29 +0000 (10:56 -0700)]
Example of infra evaluation.
sforman [Sat, 26 Aug 2023 17:56:21 +0000 (10:56 -0700)]
Note on Variations
sforman [Tue, 22 Aug 2023 00:58:47 +0000 (17:58 -0700)]
Minor edits.
sforman [Mon, 21 Aug 2023 16:53:24 +0000 (09:53 -0700)]
Rebuilt C interpreter.
sforman [Mon, 21 Aug 2023 00:21:49 +0000 (17:21 -0700)]
Finished up Generator_Programs.md
sforman [Sun, 20 Aug 2023 17:24:29 +0000 (10:24 -0700)]
README for Chicken Scheme.
sforman [Sat, 19 Aug 2023 00:09:08 +0000 (17:09 -0700)]
sort
sforman [Sat, 19 Aug 2023 00:00:13 +0000 (17:00 -0700)]
Some scratch source
from editing BigNums notebook.
sforman [Fri, 18 Aug 2023 23:59:32 +0000 (16:59 -0700)]
Figlet headings.
sforman [Fri, 18 Aug 2023 23:58:25 +0000 (16:58 -0700)]
Minor CSS changes.
sforman [Fri, 18 Aug 2023 23:57:54 +0000 (16:57 -0700)]
Edits on BigNums notebook.
sforman [Thu, 17 Aug 2023 19:09:23 +0000 (12:09 -0700)]
About 2/5ths done.
sforman [Wed, 16 Aug 2023 17:05:30 +0000 (10:05 -0700)]
Add definition for xor.
sforman [Wed, 16 Aug 2023 17:04:52 +0000 (10:04 -0700)]
Working on the notebooks.
sforman [Mon, 14 Aug 2023 16:18:04 +0000 (09:18 -0700)]
Updating notebooks
to not use Jupyter because I can't figure out how to use the Joy kernel.
sforman [Sun, 13 Aug 2023 21:30:57 +0000 (14:30 -0700)]
Working on the website for Thun.
I'm going to eventually update the old Sphinx-generated site on OSDN.
sforman [Sun, 13 Aug 2023 15:49:20 +0000 (08:49 -0700)]
cleanup
sforman [Sun, 13 Aug 2023 15:48:06 +0000 (08:48 -0700)]
Put this over there.
sforman [Sun, 13 Aug 2023 15:47:16 +0000 (08:47 -0700)]
Minor edits.
sforman [Sat, 12 Aug 2023 23:45:59 +0000 (16:45 -0700)]
Messing around with type inference.
What if we insist that both branches of a branch have compatible types?
For one thing `[+] [* +] branch` leads to a circular term which, when
printed, goes into a loop: "int,int,int,...". Hmm...
sforman [Sat, 12 Aug 2023 21:09:44 +0000 (14:09 -0700)]
for-each
sforman [Sat, 12 Aug 2023 20:03:42 +0000 (13:03 -0700)]
A crude main loop.
I know there are better ways to do this, but I don't know what they are
yet. Maybe a "do" loop? Anyway, this works, although it doesn't catch
errors yet.
sforman [Sat, 12 Aug 2023 19:55:25 +0000 (12:55 -0700)]
Minor edit.
sforman [Sat, 12 Aug 2023 17:36:19 +0000 (10:36 -0700)]
Little updates to the spec doc.
sforman [Sat, 12 Aug 2023 15:40:55 +0000 (08:40 -0700)]
Minor edits.
sforman [Sat, 12 Aug 2023 15:26:59 +0000 (08:26 -0700)]
Update defs.scm
sforman [Sat, 12 Aug 2023 15:19:54 +0000 (08:19 -0700)]
Merge in the test suite.
Why not?
(I have a slow tide, expand into pieces, contract into units, and back
again. This is part of a contract and unify phase.)
sforman [Sat, 12 Aug 2023 15:04:21 +0000 (08:04 -0700)]
Math ops, definitions for left- and right-shift.
sforman [Sat, 12 Aug 2023 14:54:33 +0000 (07:54 -0700)]
mul div mod add sub in Nim
sforman [Sat, 12 Aug 2023 06:02:46 +0000 (23:02 -0700)]
first rest
sforman [Sat, 12 Aug 2023 05:48:25 +0000 (22:48 -0700)]
concat cons comparison
sforman [Sat, 12 Aug 2023 04:27:41 +0000 (21:27 -0700)]
loop
sforman [Sat, 12 Aug 2023 04:15:26 +0000 (21:15 -0700)]
branch and refactor simple functions.
The refactor should be a macro but I don't know how to write those yet
(apparently there are different macros systems... ooo la la!)
sforman [Sat, 12 Aug 2023 03:47:53 +0000 (20:47 -0700)]
dip
sforman [Sat, 12 Aug 2023 03:45:25 +0000 (20:45 -0700)]
i
sforman [Sat, 12 Aug 2023 03:38:01 +0000 (20:38 -0700)]
swap
sforman [Sat, 12 Aug 2023 03:34:40 +0000 (20:34 -0700)]
pop
sforman [Fri, 11 Aug 2023 18:11:51 +0000 (11:11 -0700)]
stack, swaack
sforman [Fri, 11 Aug 2023 18:03:00 +0000 (11:03 -0700)]
Add copyleft notice.
sforman [Fri, 11 Aug 2023 17:48:33 +0000 (10:48 -0700)]
Load defs at compile time.
I don't really know the proper way to do this, but I managed to whump
something up.
sforman [Fri, 11 Aug 2023 17:31:53 +0000 (10:31 -0700)]
Evaluate definitions.
sforman [Fri, 11 Aug 2023 17:15:31 +0000 (10:15 -0700)]
Convert defs.txt to defs.scm.
Gonna need a makefile.
sforman [Fri, 11 Aug 2023 15:50:00 +0000 (08:50 -0700)]
Load defs from defs.txt.
They are loaded at runtime though :( shouldn't be too hard to fix that?
sforman [Fri, 11 Aug 2023 04:49:37 +0000 (21:49 -0700)]
A start on dictionaries using srfi-69 hash tables.
sforman [Fri, 11 Aug 2023 04:48:46 +0000 (21:48 -0700)]
Use '->' in names of functions that convert values.
sforman [Fri, 11 Aug 2023 04:47:54 +0000 (21:47 -0700)]
dup
sforman [Fri, 11 Aug 2023 04:46:56 +0000 (21:46 -0700)]
minor edit
sforman [Fri, 11 Aug 2023 04:45:40 +0000 (21:45 -0700)]
It's more efficient to concat the empty list
than to concate a non-empty list onto the empty list.
sforman [Fri, 4 Aug 2023 17:38:52 +0000 (10:38 -0700)]
A start on simple functions.
I'm sure there's a cooler way to do this, but it works. (This is my
first Scheme code.)
sforman [Fri, 4 Aug 2023 16:52:09 +0000 (09:52 -0700)]
Parser emits errors; joy
sforman [Fri, 4 Aug 2023 15:14:45 +0000 (08:14 -0700)]
joy-expression-to-string
sforman [Fri, 4 Aug 2023 14:47:12 +0000 (07:47 -0700)]
text-to-expression
sforman [Fri, 4 Aug 2023 14:43:05 +0000 (07:43 -0700)]
It's Joy.
Or will be soon.
sforman [Fri, 4 Aug 2023 07:33:11 +0000 (00:33 -0700)]
Parser.
sforman [Thu, 3 Aug 2023 18:28:46 +0000 (11:28 -0700)]
Scheme, eh?
sforman [Thu, 3 Aug 2023 05:38:04 +0000 (22:38 -0700)]
SWIProlog can't not emit '.'.
I would like the GNU Prolog and SWI Prolog versions to be compatible, if
possible.
SWI has bigints, GNU doesn't, so that's a wrinkle...
sforman [Thu, 3 Aug 2023 04:19:43 +0000 (21:19 -0700)]
Thread the dict through the interaction loop.
Like a total newbie I put the call to the interpreter in the view
function instead of the update function! I thought it was weird having
to specify the HTML twice, but I figured I was just doing it wrong. I
was, but not in the way I suspected.
In any event, I like how this make it clear that errors can't affect the
dictionary.
sforman [Thu, 3 Aug 2023 02:37:36 +0000 (19:37 -0700)]
Checked old defs.
I forgot `over`!
sforman [Thu, 3 Aug 2023 02:08:42 +0000 (19:08 -0700)]
Talk about symbols on the stack.
sforman [Thu, 3 Aug 2023 01:52:31 +0000 (18:52 -0700)]
A spec doc for Thun.
It's not very good yet, or formal, "but it's mine and I love it."
sforman [Wed, 2 Aug 2023 16:06:11 +0000 (09:06 -0700)]
_isnt_bool _isnt_two_bools
These probably won't last?
sforman [Mon, 31 Jul 2023 19:08:39 +0000 (12:08 -0700)]
minor edits
sforman [Mon, 31 Jul 2023 18:30:12 +0000 (11:30 -0700)]
Elm README.
And minor edits.
sforman [Mon, 31 Jul 2023 18:22:44 +0000 (11:22 -0700)]
minor edits
sforman [Mon, 31 Jul 2023 18:17:05 +0000 (11:17 -0700)]
minor edits
sforman [Mon, 31 Jul 2023 18:06:13 +0000 (11:06 -0700)]
minor edits
sforman [Mon, 31 Jul 2023 17:44:38 +0000 (10:44 -0700)]
Oops, that is not a definition of `first`.
sforman [Mon, 31 Jul 2023 17:36:53 +0000 (10:36 -0700)]
Minor edits.