JOURNAL FOR SEPTEMBER, 2023 “Don’t comment bad code — rewrite it” — Brian W. Kernighan & P. J. Plauger, The Elements of Programming Style -- Up to Main Index -- Up to Journal for 2023 ~ Journal for Thursday 7th September, 2023 On types of typing… ~ Journal for Saturday 9th September, 2023 Type declarations and inference sorted out ~ Journal for Wednesday 13th September, 2023 Types of labels for things ~ Journal for Saturday 23rd September, 2023 A quick update, plus plans for Mere and WolfMUD