Search results

From dankwiki
  • ...made up of ''free'' and ''bound'' variables. Those not present in the λ's list of bound variables are free. A λ-expression with no free variables is ''cl * Lists are formed via square brackets, and '|' divides the car and cdr of a list
    22 KB (3,197 words) - 16:09, 5 August 2011