FlatCurry.Compact FlatCurry.ElimNewtype FlatCurry.Files FlatCurry.FlexRigid FlatCurry.Goodies FlatCurry.Normalize FlatCurry.Pretty FlatCurry.Read FlatCurry.Show FlatCurry.Types FlatCurry.XML
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 |