PAKCS Tools
===========

This directory contains various tools and (deprecated) libraries
which are currently only available for the PAKCS system.

Currently it contains:

Peval:
   Directory containing a partial evaluator
   (integrated in PAKCS by the command ":peval").
   See the README there for more details.

emacs:
   Emacs mode for editing Curry programs

gedit:
   Curry mode for gedit
