Three Dollar Quill

Okay. So.

I've got that synthesis code, which has some really awkward parameter lists that I feel like need some kind of improvement, so they're not just a bunch of floats in a row.

So, instead of working on that, I threw together a prototype of a concatenative programming language from that paper I think I linked a few weeks ago. I haven't tested it any, but the runtime semantics should be solid. Once I have some tests together and divide up the code properly, I'll be ready to prototype typing. My goal there is to introduce a word for type ascription, and build something at least somewhat like bidirectional typing on top of that. From there, my hope is that I can build up further layers from elsewhere on the lambda cube.

Anyway, it's late, and there's nothing else I want to do right now.

Good night.