Coding 2020-06-11
I wonder if there are type checkers for Python with more extensive dependent types support.
I wonder if there are type checkers for Python with more extensive dependent types support.
Still a little sad that I can't use ludicrous type hacks. I might try to come up with something.
A learning experience.
Good turnaround from "How can I possibly do this?" to "I can do this."
Maybe I should try outlining my posts sometime.
Just writing stuff down can clarify things immensely.
Oh boy, I'm going to need a local package repository if I go through with this idea...
I'm going to have to learn to debug with Mono before I can hope to resolve these test failures.
They have overlapping functionality, but I think they both have some unique features.
Blurring the line between self-isolation and just really not wanting to be out in that weather.