If I legitimately invent a new lambda calculus
Name:
Anonymous
2015-02-04 14:58
If I legitimately invent a new lambda calculus, what are the chances I would get like a grant or a hi-five with some money in it?
Name:
Anonymous
2015-02-04 15:50
Shoehorn in some things about type theory and you are set for life.
It doesn't matter if your calculus is practical, in fact it's better if it isn't.
Name:
Anonymous
2015-02-04 16:28
Name:
Anonymous
2015-02-04 16:54
Challenge: write a "Hello world" program in Lambda Calculus.
Name:
Anonymous
2015-02-04 17:33
>>4Get your quotes right.
Name:
Anonymous
2015-02-04 18:10
Challenge: write a ``Hello world'' program in Lambda Calculus.
Name:
Anonymous
2015-02-04 18:21
Challenge: write a 66Hello world99 program in Lambda Calculus.
Name:
Anonymous
2015-02-04 18:37
Challenge: write a
Hello world
program in Lambda Calculus.
Name:
Anonymous
2015-02-04 19:33
`r```````````.H.e.l.l.o. .w.o.r.l.di