AbstractCurry.Build AbstractCurry.Files AbstractCurry.Pretty AbstractCurry.Select AbstractCurry.Transform AbstractCurry.Types
Operation is deterministic, i.e., defined by exclusive rules and depend only on deterministic operations | ||
Operation might be non-deterministic, i.e., it is defined by overlapping rules or depend on non-deterministic operations |