Normal order evaluator based on lazy evaluator

Modify the evaluator so that it uses normal-order evaluation, based on the lazy evaluator of section 4.2.


There are no comments yet.

Authentication required

You must log in to post a comment.

Login