Mercurial > cpdt > repo

comparison src/Intro.v @ 170:f8353e2a21d6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
STLC example in Interps
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Nov 2008 13:44:31 -0500
parents fabfaa93c9ea
children 022feabdff50
comparison
equal deleted inserted replaced
169:8905f28ffeef 170:f8353e2a21d6
205 \hline 205 \hline
206 First-Order Abstract Syntax & \texttt{Firstorder.v} \\ 206 First-Order Abstract Syntax & \texttt{Firstorder.v} \\
207 \hline 207 \hline
208 Higher-Order Abstract Syntax & \texttt{Hoas.v} \\ 208 Higher-Order Abstract Syntax & \texttt{Hoas.v} \\
209 \hline 209 \hline
210 Type-Theoretic Interpreters & \texttt{Interps.v} \\
211 \hline
210 \end{tabular} \end{center} 212 \end{tabular} \end{center}
211 213
212 % *) 214 % *)