FlatCurry.Typed.Conversion FlatCurry.Typed.Files FlatCurry.Typed.Goodies FlatCurry.Typed.Pretty FlatCurry.Typed.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 |