Greg Banks <[EMAIL PROTECTED]>:
> > In any case, Greg Banks is tracking the
> > Python implementation in C (though I don't think he has the theorem
> > prover working yet).
>
> Actually I do, I've just been very quiet about it.
> http://www.alphalink.com.au/~gnb/gcml2/changelog.html
Ah! This is a Good Thing.
I want to publicly note that my discussions with Greg were very
helpful in pinning down the areas where speed optimization would be
useful. It's also by his provocation that the sections in the manual
describing binding semantics and derivations lost their vagueness.
Greg and I are cooperating, and he appears to me to be doing a very
craftsmanlike job of implementation. Nobody else has ever
reimplemented one of my language designs before. I'm very pleased with
what I've seen in the code and heard from him so far.
Greg, scanning your Changelog suggests that you may be unaware that
the `helpfile' declaration is gone from the language. It was a kluge,
now replaced by inline help text sections attached to symbol
declarations (which I know you've implemented).
--
<a href="http://www.tuxedo.org/~esr/";>Eric S. Raymond</a>
I cannot undertake to lay my finger on that article of the
Constitution which grant[s] a right to Congress of expending, on
objects of benevolence, the money of their constituents.
-- James Madison, 1794
_______________________________________________
kbuild-devel mailing list
[EMAIL PROTECTED]
http://lists.sourceforge.net/lists/listinfo/kbuild-devel
