>
> would like to have a binary operation -> (or something similar, e.g. =>,
> ==>, -->". How to handle this properly with all these special meanings?
==> is used for macros, no chance for other uses. Also '=>' is too
special. '->' is an operation, but it produces types. Overloading
type
On 8/21/19 2:01 PM, Prof. Dr. Johannes Grabmeier privat wrote:
> would like to have a binary operation -> (or something similar, e.g. =>,
> ==>, -->". How to handle this properly with all these special meanings?
I think "=>" "==>" "->" is built-in grammar, so you can't use them.
As for "-->" you
would like to have a binary operation -> (or something similar, e.g. =>,
==>, -->". How to handle this properly with all these special meanings?
The code
LatticeAlgebra: Category == Join(HeytingAlgebra, Monoid,
CommutativeStar) with
--operations
"->": (%, %) -> %
add
((x:
