Mercurial > cpdt > repo
comparison src/Intro.v @ 193:8e9499e27b6c
Start of Generic
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 28 Nov 2008 09:55:56 -0500 |
parents | 094bd1e353dd |
children | 3f4576f15130 |
comparison
equal
deleted
inserted
replaced
192:32ce9b28d7e7 | 193:8e9499e27b6c |
---|---|
213 \hline | 213 \hline |
214 Intensional Transformations & \texttt{Intensional.v} \\ | 214 Intensional Transformations & \texttt{Intensional.v} \\ |
215 \hline | 215 \hline |
216 Modeling Impure Languages & \texttt{Impure.v} \\ | 216 Modeling Impure Languages & \texttt{Impure.v} \\ |
217 \hline | 217 \hline |
218 Generic Programming & \texttt{Generic.v} \\ | |
219 \hline | |
218 \end{tabular} \end{center} | 220 \end{tabular} \end{center} |
219 | 221 |
220 % *) | 222 % *) |