[Agda] Re: TeX capacity exceeded

[Stevan Andjelkovic]

Amr Sabry <sabry at ...> writes:
>
> [...]
> When both definitions are included I get the error.

Hi,

The LaTeX-backend is still experimental, so I'd recommended pulling and
building a fresh copy of Agda from the darcs repo when you run into problems
with it.

The problem was, as Andres pointed out, that the polytable part (used for
alignment) of the LaTeX output was incorrect, this was fixed a month ago:

  https://code.google.com/p/agda/issues/detail?id=990


Cheers,
SA.