
15 Jun
2008
15 Jun
'08
8:43 a.m.
Robert Vollmert
Great reply!
Thanks.
One minor point: If real_programme is to be pure, you should use let:
Whoops! I was thinking "let" but wrote the wrong thing. If my email had been through a type-checker, it would have spotted the mistake. -- Jón Fairbairn Jon.Fairbairn@cl.cam.ac.uk http://www.chaos.org.uk/~jf/Stuff-I-dont-want.html (updated 2008-04-26)