diff src/toc.html @ 193:8e9499e27b6c

Start of Generic
author Adam Chlipala <adamc@hcoop.net>
date Fri, 28 Nov 2008 09:55:56 -0500
parents 094bd1e353dd
children 9d0b9577f8b1
line wrap: on
line diff
--- a/src/toc.html	Tue Nov 18 13:09:09 2008 -0500
+++ b/src/toc.html	Fri Nov 28 09:55:56 2008 -0500
@@ -21,5 +21,6 @@
 <li><a href="Extensional.html">Extensional Transformations</a>
 <li><a href="Intensional.html">Intensional Transformations</a>
 <li><a href="Impure.html">Modeling Impure Languages</a>
+<li><a href="Generic.html">Generic Programming</a>
 
 </body></html>