Propositional Logic

Convert a propositional formula into the normal forms and simplify it.

Building

Once you have installed Haste just run the following line from the project's root directory:

(cd src && hastec --out=../app.js app.hs)

Usage

Instructions are given in App.html after building the app.

License

Dependencies

• Data.Foldable from GHC: BSD-style
• Foundation (foundation.css): MIT

My Code

BSD