Mercurial > cpdt > repo
comparison src/toc.html @ 39:fd18331e5c0b
Publishing to the web
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Fri, 12 Sep 2008 17:18:11 -0400 |
| parents | |
| children | 552e96f6bbc1 |
comparison
equal
deleted
inserted
replaced
| 38:95e24b629ad9 | 39:fd18331e5c0b |
|---|---|
| 1 <html><head> | |
| 2 <title>Certified Programming with Dependent Types</title> | |
| 3 </head><body> | |
| 4 | |
| 5 <h1>Certified Programming with Dependent Types</h1> | |
| 6 | |
| 7 <li><a href="Intro.html">Introduction</a> | |
| 8 <li><a href="StackMachine.html">Some Quick Examples</a> | |
| 9 <li><a href="InductiveTypes.html">Inductive Types</a> | |
| 10 | |
| 11 </body></html> |