[Agda] Re: TeX capacity exceeded

Stevan Andjelkovic stevan.andjelkovic at strath.ac.uk
Sun Jan 12 11:39:37 CET 2014


Abhishek Anand <abhishek.anand.iitg at ...> writes:
>
> Is the problem fixed in the version 2.3.3 available via cabal? 
> (I'm getting errors while building Agda from sources.)
> Also, is there a standard library that compatible with 2.3.3?
> 
>
> I'm getting the error:
> 
> abhishek <at> abhishek-VirtualBox:~/share/doc$ agda --latex -i
> [...]
> Duplicate binding for built-in thing LEVEL, previous binding to
> .Agda.Primitive.Level
> when checking the pragma BUILTIN LEVEL Level
>

Hi,

The problem is fixed in the development version of Agda, see the following
page for instructions on how to get and install it:

  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download

The error you are getting is probably caused by not having Agda and the
standard library in sync -- if you are using the development version of Agda
you should also be using the development version of the standard library.
You can find the development version of the standard library here:

  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary


Hope that helps,
SA.



More information about the Agda mailing list