Welcome to RATH!
================

RATH is a collection of Haskell modules that allow
exploration of (finite) relation algebras and several
weaker structures such as categories, allegories, and
Dedekind categories.

The RATH home page is at URL:

  http://ist.unibw-muenchen.de/relmics/tools/RATH/

A first account on these tools is the technical report
by the RATH authors Wolfram Kahl and Gunther Schmidt:

         ``Exploring (Finite) Relation Algebras
             Using Tools Written in Haskell''

available at URL:

  http://ist.unibw-muenchen.de/Publications/TR/2000-02/

This report is also the documentation for RATH,
since it is the document version of the collection
of literate Haskell modules that constitute RATH.


For first experiments, you may wish to run

> hugs Main.lhs

and experiment with some of the expressions
that can be found in the file ``Main.lhs''
or in various chapters of the report.

Refer to Appendix A.1 (page 137) of the report
for the alternative entry modules ``RATH'',
``RATHexamples'', ``RATHclasses'', and ``HugsMain''.


This distribution contains RATH version 0.9,
which is the pre-publication version of the report
circled among close colleagues.


12 October 2000
