chiark / gitweb /
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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