Mercurial > cpdt > repo
diff src/DataStruct.v @ 488:31258618ef73
Incorporate feedback from Nathan Collins
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 08 Jan 2013 14:38:56 -0500 |
parents | f38a3af9dd17 |
children | 28c2fa8af4eb |
line wrap: on
line diff
--- a/src/DataStruct.v Mon Jan 07 15:23:16 2013 -0500 +++ b/src/DataStruct.v Tue Jan 08 14:38:56 2013 -0500 @@ -584,7 +584,7 @@ Implicit Arguments Node [A n]. -(** We can redefine [sum] and [inc] for our new [tree] type. Again, it is useful to define a generic fold function first. This time, it takes in a function whose range is some [ffin] type, and it folds another function over the results of calling the first function at every possible [ffin] value. *) +(** We can redefine [sum] and [inc] for our new [tree] type. Again, it is useful to define a generic fold function first. This time, it takes in a function whose domain is some [ffin] type, and it folds another function over the results of calling the first function at every possible [ffin] value. *) Section rifoldr. Variables A B : Set.