CML2 0.2.0 is now available at http://www.tuxedo.org/~esr/kbuild/
Release 0.2.0: Wed May 31 16:53:34 EDT 2000
* Full atemporal deduction with a baby theorem prover!
* Whenever/sets are gone from the language. Those deductions
are now done directly from requires.
* Setting a symbol may now set symbols in its visibility guard,
if we can deduce that relationals in the guard must be true.
Alan Cox should now have his "set a driver and watch all the
requirements turn on" feature.
The documentation has been updated to full describe the new features
(and the absence of old ones; whenever/sets are now gone from the
language, having been replaced by requires.)
-- <a href="http://www.tuxedo.org/~esr">Eric S. Raymond</a>It is the assumption of this book that a work of art is a gift, not a commodity. Or, to state the modern case with more precision, that works of art exist simultaneously in two "economies," a market economy and a gift economy. Only one of these is essential, however: a work of art can survive without the market, but where there is no gift there is no art. -- Lewis Hyde, The Gift: Imagination and the Erotic Life of Property
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Wed May 31 2000 - 21:00:28 EST