An anecdote about Church Numerals, Miranda and the way language designers make their opinions known.
Read more...An anecdote about Church Numerals, Miranda and the way language designers make their opinions known.
Read more...A few days ago, I commented on Usman Latif’s analysis of the very first move of Klondike.
I didn’t think Latif had given logical analysis a fair go, so I gave it a try.
Read more...Julian discovers the highs and the lows of marble runs, and the convoluted back-and-forth journey between them.
Read more...