<p>Updated on November 16, 2009 with a version retargeted to Coq 8.2pl1. Last incremental update on December 9, 2009.</p>
<p>Updated on November 16, 2009 with a version retargeted to Coq 8.2pl1. Last incremental update on December 11, 2009.</p>
<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.</p>
<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.</p>
