Re: [open-axiom-devel] Change to Boot syntax

2010-05-10 Thread Bill Page
On Sun, May 9, 2010 at 10:53 PM, Gabriel Dos Reis wrote: > > There are several changes to Boot syntax in the 1.4.x series: > ... Gaby, I think all of these changes to Boot are excellent. They result in making Boot code significantly more readable and accessible to OpenAxiom developers. Thanks!

[open-axiom-devel] Change to Boot syntax

2010-05-09 Thread Gabriel Dos Reis
There are several changes to Boot syntax in the 1.4.x series: (1) From OpenAxiom-1.4.x on, 'car', 'cdr', 'cons' are no longer builtin operators. 'car' and 'cdr' were redundante with 'first' and 'rest'. The operation 'cons' was redundant with the bracket syntax, i.e. cons(a,b)