Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Index of /~jve/hylotab
This directory contains the source and documentation of HyLoTab version 1.00.
The program consists of the following modules:
HylotabLex.lhs Literate code for the lexical analyzer.
Form.lhs Datatype declaration for formulas.
HylotabParse.hs Input for the parser generator `happy'
Hylotab.lhs Literate code for tableau expansion.
Main.lhs Stuff for stand-alone use.
form*: example formulas.
The stand-alone program `hylotab' has been generated with
ghc (the Glasgow Haskell Compiler, freely available from
http://www.haskell.org/ghc/), version ghc-5.02.2, under
Redhat Linux 7.2, using the following command:
ghc -o hylotab --make Main
For information about how to use this, issue the command
hylotab --help
To play with the interpreted version, use the Haskell interpreter hugs
(freely available from http://www.haskell.org/hugs/), as follows:
hugs Hylotab
cthl.ps and cthl.pdf describe the theoretical basis of the program.
Hylotab.ps and Hylotab.pdf contain the printable version of the
program documentation.
Enjoy!
Jan van Eijck
Name Last modified Size Description
Parent Directory 11-Apr-2005 16:10 -
Form.hi 04-Feb-2002 23:20 1k
Form.tex 26-Mar-2002 09:29 8k
Hylotab.pdf 04-Feb-2002 23:23 164k
Hylotab.ps 04-Feb-2002 23:23 337k
cthl.dvi 08-Feb-2002 13:06 116k