... | ... | @@ -184,7 +184,7 @@ Does TDNR bind more or less tightly than function application. That is, |
|
|
does "f x.g" mean "(f x).g" or "f (x.g)"? If TDNR is regarded as a kind of
|
|
|
extension of qualified names, it ought to be the latter.
|
|
|
|
|
|
## Alternative syntax
|
|
|
## Stacking operations
|
|
|
|
|
|
|
|
|
Another possibility for syntax is this:
|
... | ... | |