Mercurial > cpdt > repo
comparison staging/index.html @ 231:bc0f515a929f
New release
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Mon, 23 Nov 2009 12:41:14 -0500 |
| parents | 9d0b9577f8b1 |
| children | 0400fa005d5a |
comparison
equal
deleted
inserted
replaced
| 230:9dbcd6bad488 | 231:bc0f515a929f |
|---|---|
| 27 </div> | 27 </div> |
| 28 | 28 |
| 29 <div class="project"> | 29 <div class="project"> |
| 30 <h2>Status</h2> | 30 <h2>Status</h2> |
| 31 | 31 |
| 32 <p>Updated on November 16, 2009 with a version retargeted to Coq 8.2pl1. Some chapters on programming languages and compilers are empty or just contain Coq code; these should be filled in soon-ish. Additional plans: a chapter on (practical aspects of) CIC metatheory and axioms; a chapter on best practices with dependent De Bruijn syntax; some examples of locally nameless syntax; more examples of Ltac design patterns; discussion of tactic debugging and maintenance.</p> | 32 <p>Updated on November 16, 2009 with a version retargeted to Coq 8.2pl1. Last incremental update on November 23, 2009.</p> |
| 33 | |
| 34 <p>Some chapters on programming languages and compilers are empty or just contain Coq code; these should be filled in soon-ish. Additional plans: a chapter on best practices with dependent De Bruijn syntax; some examples of locally nameless syntax; more examples of Ltac design patterns; discussion of tactic debugging and maintenance.</p> | |
| 33 </div> | 35 </div> |
| 34 | 36 |
| 35 </body></html> | 37 </body></html> |