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
- Re: [kbuild-devel] Re: CML2 design philosophy h... Michael Elizabeth Chastain
- Re: [kbuild-devel] Re: CML2 design philoso... Eric S. Raymond
- [kbuild-devel] Re: CML2 design philosophy heads... Jes Sorensen
- Re: [kbuild-devel] Re: CML2 design philosophy h... Alan Cox
- Re: [kbuild-devel] Re: CML2 design philosophy h... Eric S. Raymond
- Re: [kbuild-devel] Re: CML2 design philosophy h... Wayne . Brown
- Re: [kbuild-devel] Re: CML2 design philosophy h... Keith Owens
- Re: [kbuild-devel] Re: CML2 design philoso... Eric S. Raymond
- Re: [kbuild-devel] Re: CML2 design philosophy h... Greg Banks
- Re: [kbuild-devel] Re: CML2 design philosophy h... Eric S. Raymond
- Re: [kbuild-devel] Re: CML2 design philosophy h... Jes Sorensen
- Re: [kbuild-devel] Re: CML2 design philoso... Nicolas Pitre
- Re: [kbuild-devel] Re: CML2 design philosophy h... M.
- Re: [kbuild-devel] Re: CML2 design philosophy h... Jakob Østergaard
- Re: [kbuild-devel] Re: CML2 design philoso... Mike Galbraith
- Re: [kbuild-devel] Re: CML2 design philosophy h... Mike A. Harris
- Re: [kbuild-devel] Re: CML2 design philosophy h... Jes Sorensen