Mercurial > cpdt > repo

diff src/Coinductive.v @ 348:f3154417cd41

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Typo fix in template comment
author Adam Chlipala <adam@chlipala.net>
date Tue, 25 Oct 2011 10:51:31 -0400
parents 36a08cad9245
children de7db21a016c
line wrap: on
line diff
--- a/src/Coinductive.v	Sun Oct 23 14:48:52 2011 -0400
+++ b/src/Coinductive.v	Tue Oct 25 10:51:31 2011 -0400
@@ -66,7 +66,7 @@
 
 (** Co-inductive values are fair game as arguments to recursive functions, and we can use that fact to write a function to take a finite approximation of a stream. *)
 
-(* EX: Defint a function to calculate a finite approximation of a stream, to a particular length. *)
+(* EX: Define a function to calculate a finite approximation of a stream, to a particular length. *)
 (* begin thide *)
 
 Fixpoint approx A (s : stream A) (n : nat) : list A :=