[Agda] where is the official agda.sty

[Jesper Cockx]

It's here: https://github.com/agda/agda/blob/master/src/data/agda.sty

-- Jesper

On Mon, Mar 23, 2020 at 9:48 AM Michel Levy <michel.levy.imag at free.fr>
wrote:

> In my packages agda for Ubuntu 19.04 (i.e.  agda, agda-mode, agda-bin),
> there is no file agda.sty.
>
> But where is the official agda.sty file ?
>
> Sincerely yours
>
> --
> courriel : michel.levy.imag at free.fr
> mobile : 06 59 13 42 53
> web : michel.levy.imag.free.fr
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200323/7d24d1b2/attachment.html>