RATH - Relation Algebra Tools in Haskell

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.

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