John Howroyd's Haskell Schema Interpreter

First you must install the functional programming language Haskell interpreter called Hugs.

Then you must untar john.tar.z. To run the Haskell interpreter first type: hugs Then load the Schema Interpreter by typing:

:l dev.hs

To run the interpeter on a particular schema type:

readSch "boat.sch"

Then you be prompted to say "t" or "f" many times as you are telling the interpreter your chosen Herbrand Interpretation!
Seb's Home Page
Last updated 2007-04-30