Talk:Krivine machine

The explanation of call-by-name on this page is very vague (and may be incorrect, hard to judge due to vagueness), the explanation on https://en.wikipedia.org/wiki/Evaluation_strategy#Call_by_name is much better, it might be a good idea to delete the explanation here and link to that.

73.157.109.254 (talk) 01:13, 16 November 2017 (UTC)