Back to Lecture Thumbnails
sareyan
lordpancake
What is the requirement for proving the language's correctness? Presumably the bar would be higher than for other programming languages?
Please log in to leave a comment.
I wonder what the process for driving adoption is like when creating a new language like this