annotate staging/updates.rss @ 360:e0d91bcf70ec

Pass through old content of Reflection
author Adam Chlipala <adam@chlipala.net>
date Wed, 02 Nov 2011 14:48:25 -0400
parents 6cc9a3bbc2c6
children df17b699a04f
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@358 15 <title>A pass through "Generic Programming"</title>
adam@358 16 <pubDate>Mon, 31 Oct 2011 14:23:29 EDT</pubDate>
adam@358 17 <link>http://adam.chlipala.net/cpdt/</link>
adam@358 18 <author>adamc@csail.mit.edu</author>
adam@358 19 </item>
adam@358 20
adam@358 21 <item>
adam@357 22 <title>New chapter: "General Recursion"</title>
adam@357 23 <pubDate>Fri, 28 Oct 2011 18:25:46 EDT</pubDate>
adam@357 24 <link>http://adam.chlipala.net/cpdt/</link>
adam@357 25 <author>adamc@csail.mit.edu</author>
adam@357 26 </item>
adam@357 27
adam@357 28 <item>
adam@347 29 <title>A pass through "Infinite Data and Proofs"</title>
adam@347 30 <pubDate>Sun, 23 Oct 2011 14:47:55 EDT</pubDate>
adam@347 31 <link>http://adam.chlipala.net/cpdt/</link>
adam@347 32 <author>adamc@csail.mit.edu</author>
adam@347 33 <description>I've added new discussion of co-induction principles and replaced the programming language semantics example.</description>
adam@347 34 </item>
adam@347 35
adam@347 36 <item>
adam@345 37 <title>A pass through "Universes and Axioms"</title>
adam@345 38 <pubDate>Wed, 19 Oct 2011 09:58:57 EDT</pubDate>
adam@345 39 <link>http://adam.chlipala.net/cpdt/</link>
adam@345 40 <author>adamc@csail.mit.edu</author>
adam@345 41 <description>I've added a new section on avoiding axioms.</description>
adam@345 42 </item>
adam@345 43
adam@345 44 <item>
adam@342 45 <title>A pass through "Dependent Data Structures"</title>
adam@342 46 <pubDate>Sun, 16 Oct 2011 10:45:48 EDT</pubDate>
adam@342 47 <link>http://adam.chlipala.net/cpdt/</link>
adam@342 48 <author>adamc@csail.mit.edu</author>
adam@342 49 </item>
adam@342 50
adam@342 51 <item>
adam@338 52 <title>A pass through "More Dependent Types"</title>
adam@338 53 <pubDate>Mon, 10 Oct 2011 15:59:55 EDT</pubDate>
adam@338 54 <link>http://adam.chlipala.net/cpdt/</link>
adam@338 55 <author>adamc@csail.mit.edu</author>
adam@338 56 </item>
adam@338 57
adam@338 58 <item>
adam@336 59 <title>A pass through "Subset Types and Variations"</title>
adam@336 60 <pubDate>Wed, 5 Oct 2011 11:32:54 EDT</pubDate>
adam@336 61 <link>http://adam.chlipala.net/cpdt/</link>
adam@336 62 <author>adamc@csail.mit.edu</author>
adam@336 63 </item>
adam@336 64
adam@336 65 <item>
adam@333 66 <title>New Match exercises; remove Part IV</title>
adam@333 67 <pubDate>Mon, 3 Oct 2011 11:18:27 EDT</pubDate>
adam@333 68 <link>http://adam.chlipala.net/cpdt/</link>
adam@333 69 <author>adamc@csail.mit.edu</author>
adam@333 70 <description>The old Part IV is still present in old versions available through the public Mercurial repository.</description>
adam@333 71 </item>
adam@333 72
adam@333 73 <item>
adam@325 74 <title>New chapter on logic programing</title>
adam@325 75 <pubDate>Thu, 22 Sep 2011 11:08:30 EDT</pubDate>
adam@325 76 <link>http://adam.chlipala.net/cpdt/</link>
adam@325 77 <author>adamc@csail.mit.edu</author>
adam@325 78 <description>Some new content is missing prose.</description>
adam@325 79 </item>
adam@325 80
adam@325 81 <item>
adam@322 82 <title>A pass through Chapter 4</title>
adam@322 83 <pubDate>Mon, 19 Sep 2011 14:03:40 EDT</pubDate>
adam@322 84 <link>http://adam.chlipala.net/cpdt/</link>
adam@322 85 <author>adamc@csail.mit.edu</author>
adam@322 86 </item>
adam@322 87
adam@322 88 <item>
adam@321 89 <title>Added a public Mercurial repository with the book source</title>
adam@321 90 <pubDate>Wed, 14 Sep 2011 14:01:23 EDT</pubDate>
adam@321 91 <link>http://adam.chlipala.net/cpdt/repo</link>
adam@321 92 <author>adamc@csail.mit.edu</author>
adam@321 93 </item>
adam@321 94
adam@321 95 <item>
adam@319 96 <title>A pass through Chapter 3</title>
adam@319 97 <pubDate>Mon, 12 Sep 2011 16:47:12 EDT</pubDate>
adam@319 98 <link>http://adam.chlipala.net/cpdt/</link>
adam@319 99 <author>adamc@csail.mit.edu</author>
adam@319 100 </item>
adam@319 101
adam@319 102 <item>
adam@314 103 <title>Renamed "Tactics" module to "CpdtTactics"</title>
adam@314 104 <pubDate>Wed, 7 Sep 2011 13:45:31 EDT</pubDate>
adam@314 105 <link>http://adam.chlipala.net/cpdt/</link>
adam@314 106 <author>adamc@csail.mit.edu</author>
adam@314 107 <description>This avoids a name clash with a module included with Coq.</description>
adam@314 108 </item>
adam@314 109
adam@314 110 <item>
adam@313 111 <title>A pass through Chapter 2</title>
adam@313 112 <pubDate>Thu, 1 Sep 2011 11:32:42 EDT</pubDate>
adam@313 113 <link>http://adam.chlipala.net/cpdt/</link>
adam@313 114 <author>adamc@csail.mit.edu</author>
adam@313 115 <description>I've removed some material on dependent pattern-matching but not yet compensated by adding it back in somewhere else.</description>
adam@313 116 </item>
adam@313 117
adam@313 118 <item>
adam@308 119 <title>A pass through Chapter 1</title>
adam@308 120 <pubDate>Thu, 25 Aug 2011 14:47:30 EDT</pubDate>
adam@308 121 <link>http://adam.chlipala.net/cpdt/</link>
adam@308 122 <author>adamc@csail.mit.edu</author>
adam@308 123 <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 124 </item>
adam@308 125
adam@308 126 <item>
adam@303 127 <title>Tweaks to recent update to satisfy coqdoc 8.3</title>
adam@303 128 <pubDate>Tue, 18 Jan 2011 08:15:00 EST</pubDate>
adam@303 129 <link>http://adam.chlipala.net/cpdt/</link>
adam@303 130 <author>adam@chlipala.net</author>
adam@303 131 </item>
adam@303 132
adam@303 133 <item>
adam@299 134 <title>Updated to work with both Coq 8.3 and Coq 8.2</title>
adam@299 135 <pubDate>Fri, 14 Jan 2011 15:39:00 EST</pubDate>
adam@299 136 <link>http://adam.chlipala.net/cpdt/</link>
adam@299 137 <author>adam@chlipala.net</author>
adam@299 138 </item>
adam@299 139
adam@299 140 <item>
adam@293 141 <title>A significant revision pass, based on extensive feedback kindly provided by Pierre Castéran</title>
adam@293 142 <pubDate>Wed, 10 Nov 2010 16:33:49 EST</pubDate>
adam@293 143 <link>http://adam.chlipala.net/cpdt/</link>
adam@293 144 <author>adam@chlipala.net</author>
adam@293 145 </item>
adam@293 146
adam@293 147 <item>
adam@276 148 <title>Mention that recent versions of Coq allow some omitted "match" cases</title>
adam@276 149 <pubDate>Mon, 28 Jun 2010 07:59:29 EDT</pubDate>
adam@276 150 <link>http://adam.chlipala.net/cpdt/</link>
adam@276 151 <author>adam@chlipala.net</author>
adam@276 152 </item>
adam@276 153
adam@276 154 <item>
adamc@274 155 <title>A few small typo fixes</title>
adamc@274 156 <pubDate>Sat, 15 May 2010 06:42:47 EDT</pubDate>
adamc@274 157 <link>http://adam.chlipala.net/cpdt/</link>
adamc@274 158 <author>adam@chlipala.net</author>
adamc@274 159 </item>
adamc@274 160
adamc@274 161 <item>
adamc@270 162 <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title>
adamc@270 163 <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate>
adamc@270 164 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 165 <author>adam@chlipala.net</author>
adamc@270 166 </item>
adamc@270 167
adamc@270 168 <item>
adamc@268 169 <title>RSS feed created</title>
adamc@268 170 <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
adamc@268 171 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 172 <author>adam@chlipala.net</author>
adamc@268 173 </item>
adamc@268 174
adamc@268 175 </channel>
adamc@268 176 </rss>