Mercurial > cpdt > repo
comparison src/Firstorder.v @ 153:8c19768f1a1a
Fix some uglyness
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 02 Nov 2008 12:20:56 -0500 |
parents | 8157e8e28e2e |
children | 358dcb6e08f2 |
comparison
equal
deleted
inserted
replaced
152:8157e8e28e2e | 153:8c19768f1a1a |
---|---|
14 | 14 |
15 Set Implicit Arguments. | 15 Set Implicit Arguments. |
16 (* end hide *) | 16 (* end hide *) |
17 | 17 |
18 | 18 |
19 (** %\section{Formalizing Programming Languages and Compilers} | 19 (** %\part{Formalizing Programming Languages and Compilers} |
20 | 20 |
21 \chapter{First-Order Variable Representations}% *) | 21 \chapter{First-Order Abstract Syntax}% *) |
22 | 22 |
23 (** TODO: Prose for this chapter *) | 23 (** TODO: Prose for this chapter *) |
24 | 24 |
25 | 25 |
26 (** * Concrete Binding *) | 26 (** * Concrete Binding *) |