- Base library strictly Haskell 98 conformant
- More elegant multiparameter class interface also provided (using functional dependencies)
- Layered datatypes for
- categories
- allegories
- distributive allegories
- division allegories
- Dedekind categories
- relation algebras

- Constructing new structures (i.e., categories, allegories, ..., relation algebras) as
- product structures
- sub-structures
- matrix structures
- atom set structures

- Numerous example algebras supplied, e.g.:
- standard relation algebras of sets and concrete relations, represented as Boolean matrix algebras or as atom set algebras
- the non-representable McKenzie relation algebra
- the Maddux relation algebra featuring an unsharp direct product
- compass algebras
- mereological relation algebras

A first account on this tool set is the report
``*Exploring (Finite) Relation Algebras Using Tools Written in Haskell*''
by
Wolfram Kahl
and
Gunther Schmidt.

The source code can be retrieved as RATH-1.0.tar.gz.

Contact: Wolfram Kahl