- Mixed decimal
mixed decimal (mĭkst) A number, such as 7.125, consisting of an integer (in this case, 7) plus a decimal (0.0125).
- Mixed corn
noun two cereal grains combined
- Mixed crystal
noun 1. (chem) a crystal consisting of a solid solution of two or more distinct compounds
An extension and redesign of Standard ML. Under development.