chiark / gitweb /
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Ben Harris [Mon, 6 May 2024 05:36:27 +0000 (06:36 +0100)]
06a done
Ben Harris [Sun, 5 May 2024 15:26:05 +0000 (16:26 +0100)]
05: simpler Prep
Ben Harris [Sun, 5 May 2024 12:13:43 +0000 (13:13 +0100)]
05b: remove a comment that only applied to 05a
Ben Harris [Sun, 5 May 2024 12:12:27 +0000 (13:12 +0100)]
05a: another place where a scalar can be automatically promoted
Ben Harris [Sun, 5 May 2024 12:09:48 +0000 (13:09 +0100)]
05a: slightly simpler Prep1Proc
Ben Harris [Sun, 5 May 2024 12:07:17 +0000 (13:07 +0100)]
05b done
Ben Harris [Sun, 5 May 2024 11:58:41 +0000 (12:58 +0100)]
05a: slightly prettier ExecuteMove
Ben Harris [Sun, 5 May 2024 11:55:56 +0000 (12:55 +0100)]
05a done
Ben Harris [Sun, 5 May 2024 11:32:25 +0000 (12:32 +0100)]
Tidy up and comment map prep in 05a
Ben Harris [Sun, 5 May 2024 10:28:33 +0000 (11:28 +0100)]
Prep for 05a
Ben Harris [Sat, 4 May 2024 12:02:59 +0000 (13:02 +0100)]
A bit more Split fettling in 04
It was silly to have an operator that immediately called its operand on
its argument and did nothing else with the operand. Better to have a
function that takes the output of the operand as its left argument.
That avoids the confusion I had over whether the operator should take a
function that acts on a single element or on the whole list: it now
takes neither.
This doesn't even make calling the function any harder. It just changes
F _split x into F⊸Split x.
Ben Harris [Sat, 4 May 2024 08:50:08 +0000 (09:50 +0100)]
git ignore *.eg and *.in
Those are the names I use for my input files
Ben Harris [Sat, 4 May 2024 08:49:13 +0000 (09:49 +0100)]
Genericise Split to modifier _split in 04
Ben Harris [Sat, 4 May 2024 08:41:12 +0000 (09:41 +0100)]
04b done
Ben Harris [Sat, 4 May 2024 08:39:02 +0000 (09:39 +0100)]
04a done
Ben Harris [Fri, 3 May 2024 13:10:41 +0000 (14:10 +0100)]
Slight simplification of 03b
I think I've understood ˘ now. It's like ¨ but for rows rather than
elements.
Ben Harris [Fri, 3 May 2024 09:26:10 +0000 (10:26 +0100)]
03b done
Still don't really understand the interaction of ˝ and ˘ though.
Ben Harris [Fri, 3 May 2024 09:00:37 +0000 (10:00 +0100)]
03a done
Ben Harris [Fri, 3 May 2024 08:22:56 +0000 (09:22 +0100)]
03a just needs priority
Ben Harris [Thu, 2 May 2024 13:30:43 +0000 (14:30 +0100)]
02a and 02b done
Ben Harris [Thu, 2 May 2024 09:59:51 +0000 (10:59 +0100)]
01b done
Ben Harris [Thu, 2 May 2024 09:43:07 +0000 (10:43 +0100)]
01a done