>Something like a -> a and since its argument f +-> {f,H} by now has
the type of Expression(...) -> Expression(...) nothing left except>MyExp : Expression(..) -> Expression(..) Sorry, I really meant MyExp : (Expression(..) -> Expression(..) ) -> (MyExp : Expression(..) -> Expression(..) ) -- 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.
