Mercurial > cpdt > repo
diff src/Intro.v @ 235:52b9e43be069
Uncommented functor example
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Fri, 04 Dec 2009 13:44:05 -0500 |
| parents | d8c54a25c81f |
| children | 0400fa005d5a |
line wrap: on
line diff
--- a/src/Intro.v Mon Nov 30 15:41:51 2009 -0500 +++ b/src/Intro.v Fri Dec 04 13:44:05 2009 -0500 @@ -207,6 +207,8 @@ \hline Proof by Reflection & \texttt{Reflection.v} \\ \hline +Proving in the Large & \texttt{Large.v} \\ +\hline First-Order Abstract Syntax & \texttt{Firstorder.v} \\ \hline Higher-Order Abstract Syntax & \texttt{Hoas.v} \\