Mercurial > cpdt > repo

diff src/Intro.v @ 20:c0cbf324ec7d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finished typed example
author Adam Chlipala <adamc@hcoop.net>
date Wed, 03 Sep 2008 16:14:47 -0400
parents ea400f692b07
children 00366a62bd00
line wrap: on
line diff
--- a/src/Intro.v	Wed Sep 03 15:59:37 2008 -0400
+++ b/src/Intro.v	Wed Sep 03 16:14:47 2008 -0400
@@ -131,7 +131,7 @@
 *)
 
 
-(** * Prerequisites for This Book *)
+(** * Prerequisites *)
 
 (**
 I try to keep the required background knowledge to a minimum in this book.  I will assume familiarity with the material from usual discrete math and logic courses taken by all undergraduate computer science majors, and I will assume that readers have significant experience programming in one of the ML dialects, in Haskell, or in some other, closely-related language.  Experience with only dynamically-typed functional languages might lead to befuddlement in some places, but a reader who has come to grok Scheme deeply will probably be fine.