This directory contains the implementation of the
functional-logic language ALF.

The subdirectories contain:

bin:		The executables of the ALF implementation

docs:		Several documents about the ALF system

examples:	Several ALF programs (see the README there)

implementation:	The source code of the ALF implementation

localbin:	Local files for the executables of the ALF implementation

modules:	The standard ALF modules

prepro:		The source code of the preprocessor which is written in ALF


How to use this implementation:

1. latex and print the "ALF User's Manual" (file user.tex in the
   directory docs).

2. If the system has not been installed by your system administrator:
   Install the system as described in the installation guide
   (file install.tex in the directory docs).

3. Set the shell variable ALFHOME to the name of this directory, e.g.,

	setenv ALFHOME /usr/local/ALF

4. Include the directory $ALFHOME/bin in your path.

Now you can use the system as desribed in the "ALF User's Manual".

