API Documentation of Package 'flatcurry'

Modules:

FlatCurry.Compact FlatCurry.Files FlatCurry.FlexRigid FlatCurry.Goodies FlatCurry.Pretty FlatCurry.Read FlatCurry.Show FlatCurry.Types FlatCurry.XML

Explanations of the icons used in the documentation:

Deterministic   Operation is deterministic, i.e., defined by exclusive rules and depend only on deterministic operations
Non-deterministic   Operation might be non-deterministic, i.e., it is defined by overlapping rules or depend on non-deterministic operations