search

klequis / zz-haskell-notebook

Notes from learning Haskell
1 stars 0 forks source link

Free variables #13

Open klequis opened 2 years ago

klequis commented 2 years ago

  1. Free variables are variables in the body expression that are not named in the head. So in the expression λx.xy, x is bound and y is free.

  2. A free variable is one that appears in the body but not the head.