| ... | ... | @@ -18,5 +18,7 @@ Much much simpler. Not impossible to remember. |
|
|
|
|
|
|
|
## Cons
|
|
|
|
|
|
|
|
- We lose . as composition. Mostly this doesn't matter as $ is probably more common in reality anyway. Perhaps use `o` as infix composition instead if it is really important.
|
|
|
|
- We lose . as composition. Mostly this doesn't matter as $ is probably more common in reality anyway. Perhaps use
|
|
|
|
``o`` as infix composition instead if it is really important. Note that ``o`` is three characters - it
|
|
|
|
would be nicer to use plain `o` infix, but that would require another special lexical rule.
|
|
|
|
- We need to make a special case of .. in the \[m .. n\] case. |
