log

age author description
Sat, 25 Jan 2014 11:46:00 -0500 Adam Chlipala Cornell CS 7190 link
Wed, 22 Jan 2014 14:17:56 -0500 Adam Chlipala Link to class at Washington
Sat, 14 Dec 2013 14:58:32 -0500 Adam Chlipala Add ISBN
Fri, 13 Dec 2013 13:08:53 -0500 Adam Chlipala Announce print book release in RSS
Fri, 13 Dec 2013 10:45:46 -0500 Adam Chlipala Fix HTML error on index page
Fri, 13 Dec 2013 10:32:51 -0500 Adam Chlipala Web site: book cover and links to buy
Thu, 05 Dec 2013 15:51:33 -0500 Adam Chlipala Build an open-source release of library modules
Wed, 16 Oct 2013 10:41:23 -0400 Adam Chlipala Link to Robby Findler's class