Given that apparanty no type in algebra is written like 'Z -> Z -> Z' it seems reasonable to change associativity of '->'.
I'd be grateful, if the associativity of -> is identical to the Aldor specification.
Thank you Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
