Three Dollar Quill

Okay. Polymorphic variants. I've come up with an expression syntax that I think is acceptable, and that I don't have anything else I'd want to use it for, so that's part of that language feature worked out: if I want it, it's possible to write the expressions concisely.

Now let's look at the types. My whole "symbol to English translation" schtick means that | becomes or as usual; furthermore, & seems like it should become and, and > becomes open and < becomes closed, maybe. At least as a first draft.

I would like to get some hands-on experience with these ideas, but that's going to have to wait, because my energy levels just crashed.

Good night.