Three Dollar Quill

• Wednesday: I got some tooling written for Mythic-related stuff.
• Thursday: I made some progress on Mythic, and also thought some about Impliciula.
• Friday: I laid out some daring ideas for Impliciula that might not pan out.
• Saturday: There is nothing to say about this day.
• Sunday: I wrote down some of the ideas I have for Impliciula that were kind of just... in my head, and I figured "Yeah, that probably makes sense."
• Monday: I finished copying the tables over for Mythic.

Today, I found out that my teeth are somewhat healthier than they were six months ago, so that's cool.

Next week, I'm going to see about using these tables, and also about putting together a sketch of various things for Impliciula:

• How effects and refinement types fit together
• Subtyping and casting
• Base types from LLVM
• Refinement types required to avoid UB (the easy part is "this is non-zero", "this application doesn't overflow" is a little more interesting, and getting pointer provenance to work is kind of the whole point of this particular area of scope creep)