Learning Koka 2022-08-11
Not totally confident about this approach, but let's see how it shakes out...
All articles
Learning Koka 2022-08-10
All of this stuff going on with HTML that I usually don't think about...
Weekly Roundup 2022-08-09
Computers are weird.
Coding 2022-08-08
Got to get rid of the Smurf-oriented programming.
Coding 2022-08-07
Sometimes it's really obvious what I should have named things, sometimes not.
Learning Koka 2022-08-06
Still at the stage where I can do a bunch of fancy stuff that makes complete sense, then comprehensively trip over my shoelaces at the last possible moment, apparently.
Learning Koka 2022-08-05
Explaining what I'm doing in order to lay out how it's completely wrong.
Learning Koka 2022-08-04
Here's a project, and here's why it won't work. Let's see how much of it I can still try to do.
Learning Koka 2022-08-03
I'm missing some subtleties around imports in Koka. Oh well, more to research.
Weekly Roundup 2022-08-02
Major milestones, achieved quietly.