Three Dollar Quill

Okay, let's see. As a result of manually translating the diagrams in these papers into code, I'm getting some idea of how both the notation and the concepts work.

Things I still need to figure out:

• How should the typing rules be expressed in code?
• Do these papers written decades apart by different people mean the same thing when they say "kind"? If not, what is the proper way to reconcile the differences?

I'll see where this ends up, but for now, I need to wind down.

Good night.