[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