Design a Haskell data type for representing formulas in propositional logic.

Hi I have carefully read your job posting and am very interested in. Actually I have been a backend lead developer and am skilled in python, perl, django, scrapy, etc. I built many python/django websites and python/perl server backend scripts. I have more than 8 years of experience in Algorithm, Haskell, Programming. I can start work soon and will work with full time. Thanks. Ilya

Hi I'm a developer with moderate knowledge of functional programming with a good understanding of lambda calculus and its applications to human thought - like logic. I can start from scratch and deliver what you need in the said time. You may consider me with confidence Regards, Muthu