On 10/30/23 17:19, Martin Baker wrote:
If you did this it would enable the use of infix notation for Boolean
implies (I don't remember ever actually using the implies function so
its not important for me).
from prefix notation implies : (%, %) -> %
to infix notation % => % -> %
Notation would be
=> : (%, %) -> %,
in fact, you just want to replace the function name "implies" by the
name "=>".
But "=>" is bad, because it is already part of the SPAD language and has
a clearly defined meaning.
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/05aa2f8a-a425-4c23-8b38-a5fdccc2a823%40hemmecke.org.
