annotate staging/updates.rss @ 329:d7178fb77321

Two exercises for Match
author Adam Chlipala <adam@chlipala.net>
date Tue, 27 Sep 2011 11:39:46 -0400
parents 5e24554175de
children c27d97176c85
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@325 15 <title>New chapter on logic programing</title>
adam@325 16 <pubDate>Thu, 22 Sep 2011 11:08:30 EDT</pubDate>
adam@325 17 <link>http://adam.chlipala.net/cpdt/</link>
adam@325 18 <author>adamc@csail.mit.edu</author>
adam@325 19 <description>Some new content is missing prose.</description>
adam@325 20 </item>
adam@325 21
adam@325 22 <item>
adam@322 23 <title>A pass through Chapter 4</title>
adam@322 24 <pubDate>Mon, 19 Sep 2011 14:03:40 EDT</pubDate>
adam@322 25 <link>http://adam.chlipala.net/cpdt/</link>
adam@322 26 <author>adamc@csail.mit.edu</author>
adam@322 27 </item>
adam@322 28
adam@322 29 <item>
adam@321 30 <title>Added a public Mercurial repository with the book source</title>
adam@321 31 <pubDate>Wed, 14 Sep 2011 14:01:23 EDT</pubDate>
adam@321 32 <link>http://adam.chlipala.net/cpdt/repo</link>
adam@321 33 <author>adamc@csail.mit.edu</author>
adam@321 34 </item>
adam@321 35
adam@321 36 <item>
adam@319 37 <title>A pass through Chapter 3</title>
adam@319 38 <pubDate>Mon, 12 Sep 2011 16:47:12 EDT</pubDate>
adam@319 39 <link>http://adam.chlipala.net/cpdt/</link>
adam@319 40 <author>adamc@csail.mit.edu</author>
adam@319 41 </item>
adam@319 42
adam@319 43 <item>
adam@314 44 <title>Renamed "Tactics" module to "CpdtTactics"</title>
adam@314 45 <pubDate>Wed, 7 Sep 2011 13:45:31 EDT</pubDate>
adam@314 46 <link>http://adam.chlipala.net/cpdt/</link>
adam@314 47 <author>adamc@csail.mit.edu</author>
adam@314 48 <description>This avoids a name clash with a module included with Coq.</description>
adam@314 49 </item>
adam@314 50
adam@314 51 <item>
adam@313 52 <title>A pass through Chapter 2</title>
adam@313 53 <pubDate>Thu, 1 Sep 2011 11:32:42 EDT</pubDate>
adam@313 54 <link>http://adam.chlipala.net/cpdt/</link>
adam@313 55 <author>adamc@csail.mit.edu</author>
adam@313 56 <description>I've removed some material on dependent pattern-matching but not yet compensated by adding it back in somewhere else.</description>
adam@313 57 </item>
adam@313 58
adam@313 59 <item>
adam@308 60 <title>A pass through Chapter 1</title>
adam@308 61 <pubDate>Thu, 25 Aug 2011 14:47:30 EDT</pubDate>
adam@308 62 <link>http://adam.chlipala.net/cpdt/</link>
adam@308 63 <author>adamc@csail.mit.edu</author>
adam@308 64 <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 65 </item>
adam@308 66
adam@308 67 <item>
adam@303 68 <title>Tweaks to recent update to satisfy coqdoc 8.3</title>
adam@303 69 <pubDate>Tue, 18 Jan 2011 08:15:00 EST</pubDate>
adam@303 70 <link>http://adam.chlipala.net/cpdt/</link>
adam@303 71 <author>adam@chlipala.net</author>
adam@303 72 </item>
adam@303 73
adam@303 74 <item>
adam@299 75 <title>Updated to work with both Coq 8.3 and Coq 8.2</title>
adam@299 76 <pubDate>Fri, 14 Jan 2011 15:39:00 EST</pubDate>
adam@299 77 <link>http://adam.chlipala.net/cpdt/</link>
adam@299 78 <author>adam@chlipala.net</author>
adam@299 79 </item>
adam@299 80
adam@299 81 <item>
adam@293 82 <title>A significant revision pass, based on extensive feedback kindly provided by Pierre Castéran</title>
adam@293 83 <pubDate>Wed, 10 Nov 2010 16:33:49 EST</pubDate>
adam@293 84 <link>http://adam.chlipala.net/cpdt/</link>
adam@293 85 <author>adam@chlipala.net</author>
adam@293 86 </item>
adam@293 87
adam@293 88 <item>
adam@276 89 <title>Mention that recent versions of Coq allow some omitted "match" cases</title>
adam@276 90 <pubDate>Mon, 28 Jun 2010 07:59:29 EDT</pubDate>
adam@276 91 <link>http://adam.chlipala.net/cpdt/</link>
adam@276 92 <author>adam@chlipala.net</author>
adam@276 93 </item>
adam@276 94
adam@276 95 <item>
adamc@274 96 <title>A few small typo fixes</title>
adamc@274 97 <pubDate>Sat, 15 May 2010 06:42:47 EDT</pubDate>
adamc@274 98 <link>http://adam.chlipala.net/cpdt/</link>
adamc@274 99 <author>adam@chlipala.net</author>
adamc@274 100 </item>
adamc@274 101
adamc@274 102 <item>
adamc@270 103 <title>Fix table of contents and mention another command needed to enter Chapter 2's code literally</title>
adamc@270 104 <pubDate>Wed, 3 Feb 2010 08:16:16 EST</pubDate>
adamc@270 105 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 106 <author>adam@chlipala.net</author>
adamc@270 107 </item>
adamc@270 108
adamc@270 109 <item>
adamc@268 110 <title>RSS feed created</title>
adamc@268 111 <pubDate>Wed, 27 Jan 2010 07:33:34 EST</pubDate>
adamc@268 112 <link>http://adam.chlipala.net/cpdt/</link>
adamc@270 113 <author>adam@chlipala.net</author>
adamc@268 114 </item>
adamc@268 115
adamc@268 116 </channel>
adamc@268 117 </rss>