chickadee » tree-rewrite » reduce

The principal reduction procedure. RULES is a list of rewriting rules that follow the grammar above. Returns the term after all matching rules have been applied.