Improved reasoning about, and verification of programming language migrations. You can think of the language as a schema for an immutable, persistent, distributed database of tooling, libraries, applications, and documentation.
Quote Tweet
"Everything is fine."
What's missing from your current programming world that you think you don't need, but that once you have, you'll wonder how you ever lived without?
Show this thread