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
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. thanks Eliot
On Fri, Aug 7, 2009 at 12:03 AM, Torsten Bergmann astares@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
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@gmx.de mailto:astares@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
squeak-dev@lists.squeakfoundation.org