[Agda] installing agda-master with cabal on ubuntu

Andres Sicard Ramirez asr at eafit.edu.co
Thu Feb 21 15:22:40 CET 2019


On Thu, 21 Feb 2019 at 05:32, Oleg Grenrus <oleg.grenrus at iki.fi> wrote:
> I don't know how to properly build doc/user-manual.pdf

You can use the following command

  $ make user-manual-pdf

-- 
Andrés


More information about the Agda mailing list