Writa a program in untyped lambda calculus that prints "hello world" to stdout.
Name:
Anonymous2014-12-02 11:00
>>13 In other words, lambda calculus can't do that and the concept of Turing-completeless is useless. Because here is a Turing-complete language that cannot even make a helloworld.