Three Dollar Quill

I asked around, and got some advice, and then, after subjectively far too much messing around, managed to get LaTeX producing broadly acceptable output. With this, and the advanced technique of "reading the paper", I've managed to produce my own version of all of the basic 1ML typing rules, including somewhat understanding where-types.

At this point, I'm ready to take notes on all of the changes I want to attempt, and then I can work out the proper file layout for implementing the basic level of syntax.

For now, though, I'm really out of it and want to take things easy.

Good night.