As a Haskell programmer, you can import PropLogic as a toolbox for your own programs.

The standalone program (1) can be used without any knowledge of Haskell.
If you work on a Windows machine, you can even run this executable without any Haskell system on it (see PropLogic.exe for Windows users below).

For the full installation you will need a Haskell system on your machine. The
Glasgow Haskell Compiler (GHC)
is the default choice, but PropLogic also works with
Hugs (when started with C).
Note, that the
Haskell Platform
has become the new standard Haskell distribution, which now includes the GHC and many more things.

The previously described full installations integrate the package into your Haskell system.
But you can also do everything in a (new) local directory and delete that afterwards without leaving any traces.
Start with a download of

Make the newly created directory PropLogic-0.9 your working directory with

cd PropLogic-0.9

For a session with the GHC interpreter, call

ghci

The prompt (probably Prelude>) will invite you for the next input. You can now load all the PropLogic modules with

Prelude> :load PropLogic.hs
... Ok, modules loaded: ...
PropLogic>

If everything went as intended, an ...Ok, modules loaded:... message appeared and the subsequent new prompt PropLogic> is telling us that we have now everything ready for use and that the interpreter awaits the next input.

To generate the executable program, run

ghc --make -o PropLogic Main.hs

The new executable file PropLogic appears in the working directory and can be called, e.g. with the help option