there is a typo

  This document implements a small, dyanmically-typed, 
  subset of Haskell that includes integers, lists, functions,      
  pattern matching and recursion.

Also, Haskell is strictly typed... but most of us aren't ready for that anyway :-P