This commit is contained in:
Alex Shinn 2011-04-07 10:40:08 +09:00
parent 29aa883896
commit fb5d82e7ba

View file

@ -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.