An important point was to be non-proprietary, wasn't it? Clean and Miranda were proprietary, although the implementations are now available with permissive lic

An important point was to be non-proprietary, wasn't it? Clean and Miranda were proprietary, although the implementations are now available with permissive licences. Edit: I don't know about Scheme debating laziness as such, but there's Friedman and Wise https://help.luddy.indiana.edu/techreports/TRNNN.cgi?trnum=TR44 https://help.luddy.indiana.edu/techreports/TRNNN.cgi?trnum=T... and there was Lispkit Lisp, as in Hoare's CSP book.