Lennart Augustsson <[EMAIL PROTECTED]> writes:
> An "easy" way to prove it is to provide an equivalent implementation
> that uses only pure functions. As far as I remember Control.Monad.ST
> can be written purely. And I think the same is true for Data.Dynamic.
I think neither of them can.
--
__("< Marcin Kowalczyk
\__/ [EMAIL PROTECTED]
^^ http://qrnik.knm.org.pl/~qrczak/
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
