Fun              Clem Baker-Finch          April 2003
===              ================          ==========

A simple functional language developed to demonstrate
strictness analysis by abstract interpretation.

This directory includes:

* A scanner and parser for Fun.
* An interactive interpreter for Fun.
* A strictness analyser for Fun.
* Brief documentation of the Fun language.
* A simple sample Fun program.

There are several main programs exercising the
modules:

* Parse.lhs merely parses a Fun script.
* Interpret.lhs launches the Fun interpreter.
* Analyse.lhs performs the strictness analysis.

The modules of interest  are:

* Interpreter.lhs
* StrAn.lhs

You should carefully compare them to observe that
the strictness analyser is an abstract version of
the standard interpreter.


Have Fun.