Hello,
my lab partner and I noticed that the examples good6.fun and good7.fun are extremely slow if they are interpreted using the call by name strategy. In our case, changing the argument of the good6.fun to 25 (instead of 30), it took 11 minutes to evaluate.
I guess this is not desirable but wanted to ask here because asking another class mates they told us they have similar problems with these two examples. Some hints about how to detect what could be the error would be appreciated.
Thank you ver much.