Orangeboard Lambda Calculus Interpreter / News: Recent posts

So, I noticed that this project has been downloaded 35 times, and not by me or my mother. Woo hoo! If any of y'all try out this program, please consider telling me:

1. If you got it to run.
2. If you were able to use it with any success.
3. If it's evaluating expressions correctly.
4. If the interface does/doesn't suck.

Any such input would be a real help. So far as I know, I'm the only one who has ever run the thing. The only bug in it I'm aware of is that it doesn't normalize certain expressions completely, though the steps it does perform are performed correctly. Maybe I'll fix that soon. ... read more