[Agda] where is the official agda.sty

Michel Levy michel.levy.imag at free.fr
Mon Mar 23 09:47:55 CET 2020


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



More information about the Agda mailing list