chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerBen Harris
last changeFri, 14 Jun 2024 23:34:48 +0000 (00:34 +0100)
shortlog
2024-06-14 Ben Harris25a done main
2024-06-14 Ben Harris25a SNAFU-to-decimal done
2024-06-14 Ben Harris24a done
2024-06-14 Ben Harris23b: use namespace for loop variable rather than list
2024-06-14 Ben Harris23b done
2024-06-13 Ben Harris23a: Stop showing the map, which makes it slightly...
2024-06-13 Ben Harris23a done
2024-06-08 Ben Harris23a: prettier proposal generators
2024-06-08 Ben Harris23a round 1 done
2024-06-06 Ben Harris19b done
2024-06-06 Ben Harris23a: all proposals generated
2024-06-06 Ben Harris23a prep
2024-06-06 Ben Harris22b done
2024-06-05 Ben Harris22b: half-working boundary walking
2024-06-04 Ben Harris22b: move padding into Main and pad much more
2024-06-01 Ben Harris22b structural tweaks
...
heads
4 months ago main