annotate staging/updates.rss @ 367:b809d3a8a5b1

Pass over old Large material; index fixes
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Nov 2011 11:54:09 -0500
parents 990151eac6af
children e0c5b91e2968
rev   line source
adamc@268 1 <?xml version="1.0" encoding="utf-8" ?>
adamc@268 2 <rss version="2.0">
adamc@268 3 <channel>
adamc@268 4
adamc@268 5 <title>Certified Programming with Dependent Types updates</title>
adamc@268 6 <link>http://adam.chlipala.net/cpdt/</link>
adamc@268 7 <description>Updates to a draft textbook</description>
adamc@268 8
adamc@268 9 <language>en-us</language>
adamc@270 10 <managingEditor>adam@chlipala.net</managingEditor>
adamc@270 11 <webMaster>adam@chlipala.net</webMaster>
adamc@268 12 <docs>http://blogs.law.harvard.edu/tech/rss</docs>
adamc@268 13
adamc@268 14 <item>
adam@365 15 <title>A pass through "Reasoning About Equality Proofs"</title>
adam@365 16 <pubDate>Sun, 6 Nov 2011 16:50:59 EST</pubDate>
adam@365 17 <link>http://adam.chlipala.net/cpdt/</link>
adam@365 18 <author>adamc@csail.mit.edu</author>
adam@365 19 <description>I've added a new discussion of the reduction behavior of "fix" and "cofix" terms.</description>
adam@365 20 </item>
adam@365 21
adam@365 22 <item>
adam@361 23 <title>A pass through "Proof by Reflection"</title>
adam@361 24 <pubDate>Wed, 2 Nov 2011 16:22:00 EDT</pubDate>
adam@361 25 <link>http://adam.chlipala.net/cpdt/</link>
adam@361 26 <author>adamc@csail.mit.edu</author>
adam@361 27 <description>I've added a new subsection on reification of term syntax with Ltac, in a way that preserves equality between uninterpreted subterms.</description>
adam@361 28 </item>
adam@361 29
adam@361 30 <item>
adam@358 31 <title>A pass through "Generic Programming"</title>
adam@358 32 <pubDate>Mon, 31 Oct 2011 14:23:29 EDT</pubDate>
adam@358 33 <link>http://adam.chlipala.net/cpdt/</link>
adam@358 34 <author>adamc@csail.mit.edu</author>
adam@358 35 </item>
adam@358 36
adam@358 37 <item>
adam@357 38 <title>New chapter: "General Recursion"</title>
adam@357 39 <pubDate>Fri, 28 Oct 2011 18:25:46 EDT</pubDate>
adam@357 40 <link>http://adam.chlipala.net/cpdt/</link>
adam@357 41 <author>adamc@csail.mit.edu</author>
adam@357 42 </item>
adam@357 43
adam@357 44 <item>
adam@347 45 <title>A pass through "Infinite Data and Proofs"</title>
adam@347 46 <pubDate>Sun, 23 Oct 2011 14:47:55 EDT</pubDate>
adam@347 47 <link>http://adam.chlipala.net/cpdt/</link>
adam@347 48 <author>adamc@csail.mit.edu</author>
adam@347 49 <description>I've added new discussion of co-induction principles and replaced the programming language semantics example.</description>
adam@347 50 </item>
adam@347 51
adam@347 52 <item>
adam@345 53 <title>A pass through "Universes and Axioms"</title>
adam@345 54 <pubDate>Wed, 19 Oct 2011 09:58:57 EDT</pubDate>
adam@345 55 <link>http://adam.chlipala.net/cpdt/</link>
adam@345 56 <author>adamc@csail.mit.edu</author>
adam@345 57 <description>I've added a new section on avoiding axioms.</description>
adam@345 58 </item>
adam@345 59
adam@345 60 <item>
adam@342 61 <title>A pass through "Dependent Data Structures"</title>
adam@342 62 <pubDate>Sun, 16 Oct 2011 10:45:48 EDT</pubDate>
adam@342 63 <link>http://adam.chlipala.net/cpdt/</link>
adam@342 64 <author>adamc@csail.mit.edu</author>
adam@342 65 </item>
adam@342 66
adam@342 67 <item>
adam@338 68 <title>A pass through "More Dependent Types"</title>
adam@338 69 <pubDate>Mon, 10 Oct 2011 15:59:55 EDT</pubDate>
adam@338 70 <link>http://adam.chlipala.net/cpdt/</link>
adam@338 71 <author>adamc@csail.mit.edu</author>
adam@338 72 </item>
adam@338 73
adam@338 74 <item>
adam@336 75 <title>A pass through "Subset Types and Variations"</title>
adam@336 76 <pubDate>Wed, 5 Oct 2011 11:32:54 EDT</pubDate>
adam@336 77 <link>http://adam.chlipala.net/cpdt/</link>
adam@336 78 <author>adamc@csail.mit.edu</author>
adam@336 79 </item>
adam@336 80
adam@336 81 <item>
adam@333 82 <title>New Match exercises; remove Part IV</title>
adam@333 83 <pubDate>Mon, 3 Oct 2011 11:18:27 EDT</pubDate>
adam@333 84 <link>http://adam.chlipala.net/cpdt/</link>
adam@333 85 <author>adamc@csail.mit.edu</author>
adam@333 86 <description>The old Part IV is still present in old versions available through the public Mercurial repository.</description>
adam@333 87 </item>
adam@333 88
adam@333 89 <item>
adam@325 90 <title>New chapter on logic programing</title>
adam@325 91 <pubDate>Thu, 22 Sep 2011 11:08:30 EDT</pubDate>
adam@325 92 <link>http://adam.chlipala.net/cpdt/</link>
adam@325 93 <author>adamc@csail.mit.edu</author>
adam@325 94 <description>Some new content is missing prose.</description>
adam@325 95 </item>
adam@325 96
adam@325 97 <item>
adam@322 98 <title>A pass through Chapter 4</title>
adam@322 99 <pubDate>Mon, 19 Sep 2011 14:03:40 EDT</pubDate>
adam@322 100 <link>http://adam.chlipala.net/cpdt/</link>
adam@322 101 <author>adamc@csail.mit.edu</author>
adam@322 102 </item>
adam@322 103
adam@322 104 <item>
adam@321 105 <title>Added a public Mercurial repository with the book source</title>
adam@321 106 <pubDate>Wed, 14 Sep 2011 14:01:23 EDT</pubDate>
adam@321 107 <link>http://adam.chlipala.net/cpdt/repo</link>
adam@321 108 <author>adamc@csail.mit.edu</author>
adam@321 109 </item>
adam@321 110
adam@321 111 <item>
adam@319 112 <title>A pass through Chapter 3</title>
adam@319 113 <pubDate>Mon, 12 Sep 2011 16:47:12 EDT</pubDate>
adam@319 114 <link>http://adam.chlipala.net/cpdt/</link>
adam@319 115 <author>adamc@csail.mit.edu</author>
adam@319 116 </item>
adam@319 117
adam@319 118 <item>
adam@314 119 <title>Renamed "Tactics" module to "CpdtTactics"</title>
adam@314 120 <pubDate>Wed, 7 Sep 2011 13:45:31 EDT</pubDate>
adam@314 121 <link>http://adam.chlipala.net/cpdt/</link>
adam@314 122 <author>adamc@csail.mit.edu</author>
adam@314 123 <description>This avoids a name clash with a module included with Coq.</description>
adam@314 124 </item>
adam@314 125
adam@314 126 <item>
adam@313 127 <title>A pass through Chapter 2</title>
adam@313 128 <pubDate>Thu, 1 Sep 2011 11:32:42 EDT</pubDate>
adam@313 129 <link>http://adam.chlipala.net/cpdt/</link>
adam@313 130 <author>adamc@csail.mit.edu</author>
adam@313 131 <description>I've removed some material on dependent pattern-matching but not yet compensated by adding it back in somewhere else.</description>
adam@313 132 </item>
adam@313 133
adam@313 134 <item>
adam@308 135 <title>A pass through Chapter 1</title>
adam@308 136 <pubDate>Thu, 25 Aug 2011 14:47:30 EDT</pubDate>
adam@308 137 <link>http://adam.chlipala.net/cpdt/</link>
adam@308 138 <author>adamc@csail.mit.edu</author>
adam@308 139 <description>I've started passes through all chapters, with an eye toward getting ready both for <a href="http://stellar.mit.edu/S/course/6/fa11/6.892/">my fall class</a> and publication by MIT Press. I'm adding bibliographic references, index entries, and additional exercises, along with the usual tweaks and improvements. The version I've just put up is the result of a pass through Chapter 1. Feedback is especially welcome now, as I get the book into final publishable shape!</description>
adam@308 140 </item>
adam@308 141
adam@308 142 <item>
adam@303 143 <title>Tweaks to recent update to satisfy coqdoc 8.3</title>
adam@303 144 <pubDate>Tue, 18 Jan 2011 08:15:00 EST</pubDate>
adam@303 145 <link>http://adam.chlipala.net/cpdt/</link>
adam@303 146 <author>adam@chlipala.net</author>
adam@303 147 </item>
adam@303 148
adam@303 149 <item>
adam@299 150 <title>Updated to work with both Coq 8.3 and Coq 8.2</title>
adam@299 151 <pubDate>Fri, 14 Jan 2011 15:39:00 EST</pubDate>
adam@299 152 <link>http://adam.chlipala.net/cpdt/</link>
adam@299 153 <author>adam@chlipala.net</author>
adam@299 154 </item>
adam@299 155
adam@299 156 <item>
adam@293 157 <title>A significant revision pass, based on extensive feedback kindly provided by Pierre Castéran</title>
adam@293 158 <pubDate>Wed, 10 Nov 2010 16:33:49 EST</pubDate>
adam@293 159 <link>http://adam.chlipala.net/cpdt/</link>
adam@293 160 <author>adam@chlipala.net</author>
adam@293 161 </item>
adam@293 162
adam@293 163 <item>
adam@276 164 <title>Mention that recent versions of Coq allow some omitted "match" cases</title>
adam@276 165 <pubDate>Mon, 28 Jun 2010 07:59:29 EDT</pubDate>
adam@276 166 <link>http://adam.chlipala.net/cpdt/</link>
adam@276 167 <author>adam@chlipala.net</author>
adam@276 168 </item>
adam@276 169
adam@276 170 <item>
adamc@274 171 <title>A few small typo fixes</title>
adamc@274 172 <pubDate>Sat, 15 May 2010 06:42:47 EDT</pubDate>
adamc@274 173 <link>http://adam.chlipala.net/cpdt/</link>
adamc@274 174 <author>adam@chlipala.net</author>
adamc@274 175 </item>
adamc@274 176
adamc@274 177 <item>
adamc@270 178 <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title>
adamc@270 179 <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate>
adamc@270 180 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 181 <author>adam@chlipala.net</author>
adamc@270 182 </item>
adamc@270 183
adamc@270 184 <item>
adamc@268 185 <title>RSS feed created</title>
adamc@268 186 <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
adamc@268 187 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 188 <author>adam@chlipala.net</author>
adamc@268 189 </item>
adamc@268 190
adamc@268 191 </channel>
adamc@268 192 </rss>