adamc@268: adamc@268: adamc@268: adamc@268: adamc@268: Certified Programming with Dependent Types updates adamc@268: http://adam.chlipala.net/cpdt/ adamc@268: Updates to a draft textbook adamc@268: adamc@268: en-us adamc@270: adam@chlipala.net adamc@270: adam@chlipala.net adamc@268: http://blogs.law.harvard.edu/tech/rss adamc@268: adamc@268: adam@303: Tweaks to recent update to satisfy coqdoc 8.3 adam@303: Tue, 18 Jan 2011 08:15:00 EST adam@303: http://adam.chlipala.net/cpdt/ adam@303: adam@chlipala.net adam@303: adam@303: adam@303: adam@299: Updated to work with both Coq 8.3 and Coq 8.2 adam@299: Fri, 14 Jan 2011 15:39:00 EST adam@299: http://adam.chlipala.net/cpdt/ adam@299: adam@chlipala.net adam@299: adam@299: adam@299: adam@293: A significant revision pass, based on extensive feedback kindly provided by Pierre Castéran adam@293: Wed, 10 Nov 2010 16:33:49 EST adam@293: http://adam.chlipala.net/cpdt/ adam@293: adam@chlipala.net adam@293: adam@293: adam@293: adam@276: Mention that recent versions of Coq allow some omitted "match" cases adam@276: Mon, 28 Jun 2010 07:59:29 EDT adam@276: http://adam.chlipala.net/cpdt/ adam@276: adam@chlipala.net adam@276: adam@276: adam@276: adamc@274: A few small typo fixes adamc@274: Sat, 15 May 2010 06:42:47 EDT adamc@274: http://adam.chlipala.net/cpdt/ adamc@274: adam@chlipala.net adamc@274: adamc@274: adamc@274: adamc@270: Fix table of contents and mention another command needed to enter Chapter 2's code literally adamc@270: Wed, 3 Feb 2010 08:16:16 EST adamc@270: http://adam.chlipala.net/cpdt/ adamc@270: adam@chlipala.net adamc@270: adamc@270: adamc@270: adamc@268: RSS feed created adamc@268: Wed, 27 Jan 2010 07:33:34 EST adamc@268: http://adam.chlipala.net/cpdt/ adamc@270: adam@chlipala.net adamc@268: adamc@268: adamc@268: adamc@268: