The module free-theorems-counterexamples-0.3 can be installed the following way: runhaskell Setup.hs configure --user runhaskell Setup.hs build runhaskell Setup.hs haddock runhaskell Setup.hs install runhaskell Setup.hs haddock builds the documentation. This step is not necessary. After installation the modules Language.Haskell.FreeTheorems.Variations.CounterExamples.ExFind Language.Haskell.FreeTheorems.Variations.CounterExamples.Algorithm.ExFindExtended Language.Haskell.FreeTheorems.Variations.CounterExamples.Common.AlgCommon Language.Haskell.FreeTheorems.Variations.CounterExamples.Parser.ParseType are available. To start the webinterface do $ ./test.sh then it runs under http://localhost:8002/ The webinterface can also be found under http://www-ps.iai.uni-bonn/cgi-bin/exfind.cgi Enjoy.