“language easy to build with Ralph is a programming…” — The Pragmatic Engineer at 33:37
“language easy to build with Ralph is a programming language can be infinitely verified. You write the code in the language, you compile it, if the compiler fails, you go fix the compiler, you run the program, if the program fails, you go fix the compiler, like it's like, it's very, very verifiable.”
0:00
1:32:24