This directory contains some examples for the usage of COOSy.

To run these examples in PAKCS, you have to install COOSy by:

    > cpm installapp coosy

Then you start PAKCS, type the command `:coosy`, and load some example program:

    > pakcs
    Prelude> :coosy
    ...
    Prelude> :load examples

After evaluating some expression, click the `Show` button in the
COOSy GUI to visualize the observed computations.