|... ("Pathetic, ruddy planet---I've no sympathy at all.")
|
|--Joe
That was "apathetic bloody planet..."
George
I'm sure this is a minority opinion, but...
It is hard to find a paper on any interesting topic that does
not introduce a new syntax. The business of thinking about
specific issues seems intimately connected to finding a good
representation for the issue in print. It seems clear from this
that
Oops, PreludeCore cannot be hidden. I guess I've made a fool of myself
(but that happens often :-).
> Can't we find anything more interesting to discuss that the syntax??
You are welcome to! :-) But sweeping syntax matters under the carpet
does not improve anything.
> | ... But what I fin
>This whole issue regarding redefinition of + and - is getting confused
>unnecessarily. Both of these are in PreludeCore and cannot be renamed
>or hidden. Because of this their fixities cannot be changed. It is
>possible to locally shadow + and - but this cannot change their
>fixities and has
> This whole issue regarding redefinition of + and - is getting confused
> unnecessarily. Both of these are in PreludeCore and cannot be renamed
> or hidden. Because of this their fixities cannot be changed. It is
> possible to locally shadow + and - but this cannot change their
> fixities an
This whole issue regarding redefinition of + and - is getting confused
unnecessarily. Both of these are in PreludeCore and cannot be renamed
or hidden. Because of this their fixities cannot be changed. It is
possible to locally shadow + and - but this cannot change their
fixities and has no ef
John Peterson
Lennart Augustsson
Joe Fasel
| > This whole issue regarding redefinition of + and - is getting confused
| > unnecessarily. Both of these are in PreludeCore and cannot be renamed
| > or hidden. Because of this their fixities cannot be changed. It is
| > possible to locally