Sharing

    Donkey can annotate the shared structure in an expression. Donkey always uses this mechanism to display circular structures ; for other structures the facility may be turned on or off in the Options Menu (Section 4.3). Sharing is expressed with the following syntax:

where the exprs may contain references to the ids. For example, the value produced by evaluating

would normally be displayed as

but with sharing it produces

For a similar example of sharing see Figure 1.