[agentultra]

I have read a fair bit about use of hs-to-coq and coq-haskell; Coq is a nice tool for sure!