redex

Definition from Wiktionary, a free dictionary

Contents 1 English 1.1 Pronunciation 1.2 Etymology 1.3 Verb 1.4 Noun 1.5 Usage notes 1.6 See also

[edit] English

[edit] Pronunciation

/'ɹɛd.ɛks/

/ˈɹiːdɛks/

[edit] Etymology

From "red X"

From "reducible expression"

[edit] Verb

redex

1. (Internet) of an image, to display a red X rather than the intended image; to fail to load

[edit] Noun

redex

1. (mathematics) Something to be reduced according to the rules of a formal system.

[edit] Usage notes

The verb form is from "red X" and is properly pronounced " /rɛdɛks/; the noun form is from "reducible expression" and is properly pronounced /ˈriːdɛks/.

[edit] See also

• lambda calculus