Missing .tex files
commit7e75eadce62387a408d68ab03d5410e09f7fd15a
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateMon 20 Feb 2012, 15:23 (15 years ago)
parent76ac83b
impl-paper/compiling.texnew file+2
@@ -0,0 +1,2 @@
1+\section{Compiling}
2+
impl-paper/intro.tex+2
@@ -20,3 +20,5 @@ about making the language itself practical.
2020\item What's the difference between a theorem prover and a practical systems programming
2121 language? Not much...
2222\end{itemize}
23+
24+Also note --- to be an expert user of a language requires good understanding of the internals.