[Agda] Re: Can't build index.html in HoTT-Agda repository

N. Raghavendra raghu at hri.res.in
Sat May 2 20:57:49 CEST 2015


At 2015-05-02T19:42:03+01:00, Colin Adams wrote:

> Having got Agda 2.4.2 installed using cabal, and found everything to
> work, after reboot, it has stopped working, with the same problem as
> before.

Perhaps your PATH is still picking up the old version of Agda.  Did you
put ${HOME}/.cabal/bin at the head of your PATH setting?

Cheers,
Raghu.

-- 
N. Raghavendra <raghu at hri.res.in>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/



More information about the Agda mailing list