Typos in spec

This commit is contained in:
Dmitry Boulytchev 2020-02-28 01:09:33 +03:00
parent ee4b1d5aa2
commit 50c9e639d3
2 changed files with 1 additions and 1 deletions

Binary file not shown.

View file

@ -92,7 +92,7 @@ Infix operators defined as follows:
\]
There is a predefined set of built-in infix operators (see Fig.~\ref{builtin_infixes}); additionally
an end-used can define custom infix operators (see Section~\ref{sec:custom_infix}). Note, sometimes
an end-user can define custom infix operators (see Section~\ref{sec:custom_infix}). Note, sometimes
additional whitespaces are required to disambiguate infix operator applications. For example, if a
custom infix operator "\lstinline|+-|" is defined, then the expression "\lstinline|a +- b|" can no longer be
recognized as "\lstinline|a +(-b)|". Note also that a custom operator containing "\lstinline|--|" can not be