annotate staging/updates.rss @ 355:62fdf0993e05

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