Not very much so far.
MLunzip is an implementation of gunzip (the decompression side of the DEFLATE algorithm) in a purely functional subset of Standard ML.
Feedback. See also: Eiffel page, top.