***rajeevn is now known as Guest1420
<paroneayea>ACTION finally understands why the Y combinator works as an evaluator <paroneayea>because the Y combinator is converging on a fixed point... you can view that a purely functional function evaluation which does eventually halt is converging on its own fixed point, and that the value returned from that function/program *is* the fixed point <CustosLimen>but ok - I will submit asciidoc source and then link to html output from it <mark_weaver>CustosLimen: plain text mail is greatly preferred, and to attach anything that's not huge. <mark_weaver>well, whether to attach or link depends on what it is, I suppose. <CustosLimen>I basically want to attatch all files in here (except makefile and .asciidoc)