From fb5d82e7bae8e5911cc33c61acb8cc634360dcbd Mon Sep 17 00:00:00 2001 From: Alex Shinn Date: Thu, 7 Apr 2011 10:40:08 +0900 Subject: [PATCH] typo --- doc/chibi.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/chibi.scrbl b/doc/chibi.scrbl index 27def0eb..f6be143b 100755 --- a/doc/chibi.scrbl +++ b/doc/chibi.scrbl @@ -991,7 +991,7 @@ for interactive line editing. The @scheme{(chibi time)} provides an interface to the current system time. -@subsection{Type Inferance} +@subsection{Type Inference} The @scheme{(chibi type-inference)} is an easy-to-use type inference system.