[Agda] installing agda-master with cabal on ubuntu

rick rick at rickmurphy.org
Thu Feb 21 18:51:48 CET 2019


All set. Thanks Oleg and Andres.

--

rick

On 2/21/19 9:22 AM, Andres Sicard Ramirez wrote:
> 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
>
-- 
rick



More information about the Agda mailing list