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