Coding 2025-01-16
At some point I'll have a concrete idea of what to do next...
Articles in the Impliciula tag
Coding 2025-01-15
Oh boy, it's time to bring in more extensions to the simply-typed lambda calculus.
Weekly Roundup 2025-01-14
I'm closing in on having a sense of whether Impliciula is, like, a workable idea.
Coding 2025-01-12
I hope I at least converge on a consistent architecture with this stuff...
Coding 2025-01-10
It's possible that I'm conflating two fundamentally different things that happen to occur around the same time.
Weekly Roundup 2025-01-07
Not super exciting, but I think I'm getting somewhere.
Weekly Roundup 2024-12-31
I've worked out a plan to go from "basically no idea what I'm doing" to "slightly more idea what I'm doing".
Coding 2024-12-30
Fingers crossed this all works out. No obvious problems yet.
Coding 2024-12-29
Going to try to stop winging things...
Coding 2024-12-28
Gradually coming to an understanding of this stuff, but it's frustratingly slow.