[squeak-dev] Status on VM's (Coq, JIT)
Joshua Gargus
schwa at fastmail.us
Fri Aug 7 19:07:15 UTC 2009
Eliot Miranda wrote:
> Hi Torsten,
>
> that's Cog with a G, as in a component in a gearbox, not Coq with a
> Q as in a male chicken.
Nor Coq-the-automated-theorem-prover (somewhere way far down on my
to-learn-about queue).
http://en.wikipedia.org/wiki/Coq
Cheers,
Josh
> thanks
> Eliot
>
> On Fri, Aug 7, 2009 at 12:03 AM, Torsten Bergmann <astares at gmx.de
> <mailto:astares at gmx.de>> wrote:
>
> For those who dont read vm-dev, here is a short status on Coq.
>
> Bye
> Torsten
>
> [1]
> http://lists.squeakfoundation.org/pipermail/vm-dev/2009-August/002892.html
> --
> Neu: GMX Doppel-FLAT mit Internet-Flatrate + Telefon-Flatrate
> für nur 19,99 Euro/mtl.!* http://portal.gmx.net/de/go/dsl02
>
>
> ------------------------------------------------------------------------
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.squeakfoundation.org/pipermail/squeak-dev/attachments/20090807/89257b0c/attachment.htm
More information about the Squeak-dev
mailing list
|