We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
{ :red | :exec | :bred } [in <goal-name> :] <term> .
reduce the term in specified goal .
Related: citp
citp