source_0.tex

\input source_header.tex

\begin{document}
	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	\docheader{1920}{Source}{\S 0}
	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\input source_intro.tex

\input source_bnf.tex

\begin{alignat*}{9}
&& \textit{program}    &&\quad ::= &\quad && \textit{statement} \ \ldots
                                                           && \textrm{statement sequence} \\[1mm]
&& \textit{statement}    &&\quad ::= &\quad && \textbf{\texttt{function}}\  \textit{name} \ 
                                   \textbf{\texttt{(}}\  \textit{parameters} \ \textbf{\texttt{)}}\ \textit{block} \quad
                                                           && \textrm{function declaration}\\
&&                       && |   &\quad &&  \textit{expression} \ \textbf{\texttt{;}}
                                                           && \textrm{expression statement} \\[1mm]
&& \textit{parameters}   && ::= &\quad &&  \epsilon\ | \  \textit{name} \ 
                                                   (\ \textbf{\texttt{,}} \ \textit{name}\ )\ \ldots
                                                            && \textrm{function parameters}   \\[1mm]
&& \textit{block}        && ::= &      && \textbf{\texttt{\{}}\  \textbf{\texttt{return}}\ \textit{expression}   \ \textbf{\texttt{\}}} \quad
                                                           && \textrm{function body}\\[1mm]         
&& \textit{expression}   && ::= &\quad &&  \textit{number}   && \textrm{primitive number expression}\\
&&                       && |   &\quad && \textbf{\texttt{true}}\ |\ \textbf{\texttt{false}}
                                                           && \textrm{primitive boolean expression}\\
&&                       && |   &\quad &&  \textit{string}   && \textrm{primitive string expression}\\
&&                       && |   &\quad &&  \textit{name}   && \textrm{name expression}\\
&&                       && |   &\quad &&  \textit{expression} \  \textit{binary-operator} \ 
                                            \textit{expression} \qquad
                                                           && \textrm{binary operator combination}\\
&&                       && |   &\quad &&   \textit{unary-operator} \ 
                                            \textit{expression}
                                                           && \textrm{unary operator combination}\\
&&                       && |   &\quad &&   \textit{expression} \ 
                                            \textbf{\texttt{(}}\ \textit{expressions}\
                                            \textbf{\texttt{)}}
                                                           && \textrm{function application}\\
&&                       && |   &\quad &&   \textit{expression} \ \textbf{\texttt{?}}\ 
                                            \textit{expression}
                                            \ \textbf{\texttt{:}}\
                                            \textit{expression}\
                                                           && \textrm{conditional expression}\\
&&                       && |   &\quad &&  \textbf{\texttt{(}}\  \textit{expression} \ 
                                            \textbf{\texttt{)}} && \textrm{parenthesised expression}\\[1mm]
&& \textit{binary-operator}    \ 
                        && ::= &\quad && \textbf{\texttt{+}}\ |\ \textbf{\texttt{-}}\ |\ \textbf{\texttt{*}}\ |\ \textbf{\texttt{/}}\ |\ \textbf{\texttt{\%}}\ |\ 
                                   \textbf{\texttt{===}}\ |\ \textbf{\texttt{!==}}\ \\
&&                       && |  &\quad &&  \texttt{\textbf{>}}\ |\ \texttt{\textbf{<}}\ |\ \texttt{\textbf{>=}}\ |\ \texttt{\textbf{<=}}\
                                          |\ \textbf{\texttt{\&\&}}\ |\ \texttt{\textbf{||}}\  \\[1mm]
&& \textit{unary-operator}    
                        && ::= &\quad && \textbf{\texttt{!}}\ |\ \textbf{\texttt{-}}\\[1mm]
&& \textit{expressions}  && ::= &\quad && \epsilon\ | \ \textit{expression}\ (
                                                               \ \textbf{\texttt{,}} \
                                                                 \textit{expression} \ 
                                                                      )\ \ldots
                                                            && \textrm{argument expressions} 
\end{alignat*}

\newpage

\input source_boolean_operators

\input source_return

\input source_names

\input source_numbers

\input source_strings

\input source_typing

\input source_comments

\input source_0_rules

\end{document}