GitHub - andre-artus/handbook-of-practical-logic-and-automated-reasoning-haskell

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
notes		notes
src		src
util		util
.hlint		.hlint
ATP.cabal		ATP.cabal
LICENSE		LICENSE
Makefile		Makefile
README		README
Setup.hs		Setup.hs

Repository files navigation

--------------------------------------------------------------------------------
 Dependencies
--------------------------------------------------------------------------------

1) GHC >= 6.10.4
   Easiset way is to download binary from http://www.haskell.org/ghc/
   
2) Cabal >= 1.6.0.3
   Easiest way is to download cabal-install from
   http://www.haskell.org/cabal/download.html and download the
   cabal-install tool.  Running bootstrap.sh will download everything
   you need.

--------------------------------------------------------------------------------
 Installation                                                                   
--------------------------------------------------------------------------------

1) Get the required Haskell libraries:
   
 cabal update
 cabal install HUnit quickcheck-2.1.0.2 hslogger utf8-string

2) make

3) Make sure ~/.cabal/bin is on your path.  The atp executable resides there.