FUN extends the LET language with first-class functions, allowing them to be created as values, passed as arguments, and returned as results. The article explains how to implement function expressions and call expressions, including evaluation rules for creating functions and calling them with single arguments using call-by-value semantics.