3 ms·

I had expected to see a more programming language theory flavored formal specification, but it's actually just prose describing the language for industrial conf

by crvdgc 2y ago

I had expected to see a more programming language theory flavored formal specification, but it's actually just prose describing the language for industrial conformance purposes. I guess something is better than nothing, but still.

steveklabnik 2y ago
That work has happened and continues to happen as well, but in the meantime, this is still quite useful.