Check out my first novel, midnight's simulacra!

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 ''clo * Lists are formed via square brackets, and '|' divides the car and cdr of a list ...
    22 KB (3,197 words) - 21:09, 5 August 2011