Free expression

From HaskellWiki
Revision as of 20:07, 5 October 2006 by BrettGiles (talk | contribs) (Converting from HaWiki)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

An expression in which every variable is a Free variable.

If a free expresion is as large as it can be, in the sense that it is not a proper subexpression of another free expression, it is called a Maximal free expression.