Eric S. Raymond wrote:
> 
> Michael Elizabeth Chastain <[EMAIL PROTECTED]>:
> > I'm comfortable with Python as an implementation language.  The speed
> > problems seem to be under control.
> 
> Linus is comfortable with it too.  That argument seems to be over for
> everyone but Jes Sorensen.  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

Greg.
-- 
These are my opinions not PPIs.

_______________________________________________
kbuild-devel mailing list
[EMAIL PROTECTED]
http://lists.sourceforge.net/lists/listinfo/kbuild-devel

Reply via email to