I am having trouble installing agda on my mac. I am taking my instructions from here:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX
I was able to get the Haskell platform installed and when I run cabal update it works . When I run:
cabal install agda
it originally installed and now it offers me the option to reinstall, so I believe that is correct. The problem arises when i run the last command,
$ agda-mode setup
It outputs
-bash: agda-mode: command not found
I have also tried installing on my virtual box because the windows install seems a lot easier, but when I attempt to run the .msi files I get an error that "this file is not compatible with your processor". I allowed the virtual windows to use up to 8 processors (the max) so that doesn't seem like its going to be an option. Any help would be greatly appreciated.
I had the same problem it was fixed after adding ~/.cabal/bin to the PATH.