Overclock.net banner
1 - 2 of 2 Posts

1,650 Posts
Discussion Starter · #1 ·
Does anyone know scheme decently well? This is what I need to do:

Write a procedure free-vars that takes a list structure representing an expression in the lambda calculus syntax and returns a set (a list without duplicates) of all the variables that occur free in the expression.

I have the boolean occurs-free? but I seriously have no idea how to even start going about this!

Thanks in advance for any help I receive.
1 - 2 of 2 Posts
This is an older thread, you may not receive a response, and could be reviving an old thread. Please consider creating a new thread.