Hi all,
Galois Inc has just released an implementation of the Tor protocol implemented in the Haskell programming langauge:
https://github.com/GaloisInc/haskell-tor
The Readme states:
This is an early implementation of Tor that has not been peer-reviewed. Those with a true, deep need for anonymity should strongly consider using the mainline Tor client until and unless this version receives appropriate extensions, testing, and review.
I'm not (yet) associated with this project but thought it should be mentioned here.
Cheers, Erik