Articles in the Learning Koka category

  1. Learning Koka 2022-08-12

    By Max Woerner Chase

    I'm going to need to write more stuff down and stop trying to get this done in my head.

  2. Learning Koka 2022-08-11

    By Max Woerner Chase

    Not totally confident about this approach, but let's see how it shakes out...

  3. Learning Koka 2022-08-10

    By Max Woerner Chase

    All of this stuff going on with HTML that I usually don't think about...

  4. Learning Koka 2022-08-06

    By Max Woerner Chase

    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.

  5. Learning Koka 2022-08-05

    By Max Woerner Chase

    Explaining what I'm doing in order to lay out how it's completely wrong.

  6. Learning Koka 2022-08-04

    By Max Woerner Chase

    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.

  7. Learning Koka 2022-08-03

    By Max Woerner Chase

    I'm missing some subtleties around imports in Koka. Oh well, more to research.