Hol-light-haskell is a project mainly written in Haskell, it's free.
A haskell translation of hol-light
404: Not Found