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

$30-250 USD

Closed

Posted

over 4 years ago

$30-250 USD

Paid on delivery

The program is to read in a formula of propositional logic and determine if the formula is a tautology and write the formula out in conjunctive normal form.

Haskell

Algorithm

Programming

Project ID: 22694499

About the project

3 proposals

Remote project

Active 4 yrs ago

Looking to make some money?

Email address

Benefits of bidding on Freelancer

Set your budget and timeframe

Get paid for your work

Outline your proposal

It's free to sign up and bid on jobs

3 freelancers are bidding on average $167 USD for this job

@guruilya

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

$220 USD in 290 days

0.0

(0 reviews)

0.0

@mramalingam

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

$250 USD in 20 days