Gaby, On Wed, Oct 1, 2008 at 11:38 PM, you wrote: > > Yes, 'TRUE is not Lisp Boolean. Applied to mainline. >
I like very much the changes you are making to open-axiom that seem to improve and generalize the handling of BOOLEAN. Are you a ultimately thinking about supporting alternate logic (e.g. a 3-valued logic) in the algebra? Regards, Bill Page. ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
