It will allow you to write lambda terms and evaluate them, with full ability to inspect the results.
(This won't work in Racket, because Racket doesn't even try to represent the internal structure of a function in a human-readable way.)
It will allow you to write lambda terms and evaluate them, with full ability to inspect the results.
(This won't work in Racket, because Racket doesn't even try to represent the internal structure of a function in a human-readable way.)