% This file is generated by sugar from pure.s.

\[\begin{array}{rcll}
\N{e} &::>& \verb!fun!\ \verb!id!^{\N{+}}_{\verb!,!}\ \verb!.!\ \verb!e! & \text{(Fun)} \\
&::<& \verb!e!\ \verb!e! & \text{(App)} \\
&::=& \verb!(!\ \verb!e!\ \verb!)! & \text{(Atom)} \\
&& \verb!id! & \text{(Id)}

\end{array}\]