Hi! I have a couple of years of experience with Haskell. Recently, I have made a Haskell interpreter for the first order logic. I'm interested in knowing more about the program that you want to have developed in Haskell. If you want to, you can contact me at any time via chat and I'll respond as soon as possible. :)
Best regards!