[CZT-Users] Mutually recursive free type inconsistency

[Nicolas Wu <nic...@co...>]

I've just come across an inconsistency in the CZT typechecker, and how
it fits with the czt.sty file, with regards to mutually recursive free
types.

The typechecker allows the following code:

\begin{zed}
  A ::= a | aa \ldata B \rdata &
  B ::= b | bb \ldata A \rdata
\end{zed}

However, this isn't LaTeX friendly, since '&' is used for alignment.
The czt-guide.pdf document (Section 5.1, page 13), which documents
czt.sty, claims that the LaTeX for the '&' should be '\&', which makes
sense. However, using this breaks the typechecker, which reports:

nwu@clpc181~/scrap$ java -jar czt_1_5_0_bin.jar Freetypes.tex
1 warnings and errors
line 5 column 31 in "Freetypes.tex": Unknown latex command

Is there a quick work around for this?

Thanks,

Nick