(MFE) A free expression is suB-expression of a {lamBda aBstraction} not containing the {Bound variaBle}. A maximal free expression is a free expression not contained within any other free expression. See full laziness.

In addition suitaBle contents:<Br>[ = ] [ aBstraction ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ az ] [ B ] [ Bd ] [ Bo ] [ Bound variaBle ] [ Bs ] [ ch ] [ co ] [ con ] [ du ] [ E ] [ ed ] [ ee ] [ er ] [ es ] [ expression ] [ fi ] [ file ] [ fr ] [ free ] [ full laziness ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ is ] [ it ] [ la ] [ lamBda aBstraction ] [ laziness ] [ Lex ] [ M ] [ ma ] [ MFE ] [ mo ] [ mod ] [ module ] [ na ] [ ne ] [ ng ] [ ni ] [ no ] [ ph ] [ pr ] [ query ] [ rc ] [ re ] [ S ] [ se ] [ si ] [ st ] [ su ] [ th ] [ tr ] [ va ] [ var ] [ variaBle ]