Make sure you have a proper version of a Haskell compiler. Yarrow works in these implementations of Haskell 1.3:
Yarrow does not work in Hugs or implementations of Haskell 1.2 or older.
/usr/yarrow/
unzip yarrow-src.zip
orgzip -cd yarrow-src.tar.gz | tar xf -
src
and compile it:hbcYar
orghcYar
.login
file)
setenv YARROW /usr/yarrow
.login
file)
setenv PATH ${PATH}:/usr/yarrow/bin
rehash
Now you can start yarrow with the command
yarrow
Start it, and you should get something like
Welcome to Yarrow v0.99 Type 'help introduction' for an introduction. >
then type the lines behind the prompt (">
" and "$
")
> prove test : @P:*. P -> P -------------------------------------------------- @P:*. P->P $ intros P : * H : P -------------------------------------------------- P $ assumption Goal proved! $ exit prove test : @P:*. P->P intros assumption exit test := .. : @P:*. P->P > help help Syntax: 1. help 2. help <command> Effect: The first variant ...
If you get different output something has gone wrong.
help
doesn't work properly.
YARROW
is not set properly.
See point 6 above.
Please inform me that you installed Yarrow, both if it was succesful or if there are some problems. E-mail: janz@cs.kun.nl
There are some example sessions in directory sessions
;
these examples are described here.
The userguide may also be helpful.
All the documentation is also contained in
directory /usr/yarrow/doc/
.