Coding 2025-01-15
Oh boy, it's time to bring in more extensions to the simply-typed lambda calculus.
Articles in the Coding category
Coding 2025-01-13
Progress on various fronts, but too tired to explain.
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.
Coding 2025-01-09
Weird obstacles, but should be over them soon.
Coding 2025-01-08
Cutting down on the keystrokes involved by at least two orders of magnitude.
Coding 2025-01-06
I will not apologize for this running gag.
Coding 2025-01-05
Why am I looking at this? Look, all of those tables are... a lot.
Coding 2025-01-04
Why is exactly one table laid out differently in the PDF?
Coding 2025-01-03
Many small files, or one big one...