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@268: adamc@hcoop.net adamc@268: adamc@hcoop.net adamc@268: http://blogs.law.harvard.edu/tech/rss adamc@268: adamc@268: adamc@268: RSS feed created adamc@268: Wed, 27 Jan 2010 07:33:34 EST adamc@268: http://adam.chlipala.net/cpdt/ adamc@268: adamc@hcoop.net adamc@268: adamc@268: adamc@268: adamc@268: