@@ -20,3 +20,5 @@ about making the language itself practical.
20\item What's the difference between a theorem prover and a practical systems programming
20\item What's the difference between a theorem prover and a practical systems programming
21 language? Not much...
21 language? Not much...
22\end{itemize}
22\end{itemize}
24+Also note --- to be an expert user of a language requires good understanding of the internals.