Mercurial > cpdt > repo

comparison src/toc.html @ 190:094bd1e353dd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Import predicative Impure example
author Adam Chlipala <adamc@hcoop.net>
date Tue, 18 Nov 2008 12:44:46 -0500
parents 24b99e025fe8
children 8e9499e27b6c
comparison
equal deleted inserted replaced
189:0198181d1b64 190:094bd1e353dd
18 <li><a href="Firstorder.html">First-Order Abstract Syntax</a> 18 <li><a href="Firstorder.html">First-Order Abstract Syntax</a>
19 <li><a href="Hoas.html">Higher-Order Abstract Syntax</a> 19 <li><a href="Hoas.html">Higher-Order Abstract Syntax</a>
20 <li><a href="Interps.html">Type-Theoretic Interpreters</a> 20 <li><a href="Interps.html">Type-Theoretic Interpreters</a>
21 <li><a href="Extensional.html">Extensional Transformations</a> 21 <li><a href="Extensional.html">Extensional Transformations</a>
22 <li><a href="Intensional.html">Intensional Transformations</a> 22 <li><a href="Intensional.html">Intensional Transformations</a>
23 <li><a href="Impure.html">Modeling Impure Languages</a>
23 24
24 </body></html> 25 </body></html>