Re: [Haskell-cafe] Bound and free variables

Thanks Emil.

I think bound and free usually refers to *occurrences* of variables in an expression. Right. I think I was a bit confused here.

However, I think that "bound" is also sometimes used to mean "in scope", and this seems to be mainly your interpretation. Yup, I think that was it.

Thanks for clearing this up for me. Janek