Mercurial > cpdt > repo

comparison src/Intro.v @ 181:ec44782bffdd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Extensional exercise
author Adam Chlipala <adamc@hcoop.net>
date Mon, 10 Nov 2008 17:27:55 -0500
parents 022feabdff50
children 24b99e025fe8
comparison
equal deleted inserted replaced
180:de33d1ed7c63 181:ec44782bffdd
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} \\ 210 Type-Theoretic Interpreters & \texttt{Interps.v} \\
211 \hline 211 \hline
212 Certifying Extensional Transformations & \texttt{Extensional.v} \\ 212 Extensional Transformations & \texttt{Extensional.v} \\
213 \hline 213 \hline
214 \end{tabular} \end{center} 214 \end{tabular} \end{center}
215 215
216 % *) 216 % *)