Ich versuche, Agda-Modus auf OSX zu installieren. Ich folgte dem offiziellen Führer (versuchte es auch mit einigen anderen), aber es scheint nicht zu funktionieren.Wie installiert man den Agda-Modus auf OSX El Capitan?
Wenn Emacs/Aquamacs Laden bekomme ich folgende Fehlermeldung:
Warning (initialization): An error occurred while loading `/Users/is7s/.emacs':
File error: Searching for program, no such file or directory, /bin/false
To ensure normal operation, you should investigate and remove the
cause of the error in your initialization file. Start Emacs with
the `--debug-init' option to view a complete error backtrace.
ich in der Regel einen manuell installierten GHC und Kabalen Sandkästen verwenden. Aber ich habe auch versucht, die Haskell-Plattform zu installieren, um sicherzustellen, dass alles, was benötigt wird, an seinem Platz ist.
Möglicherweise möchten Sie [Agda Writer] (https://github.com/markokoleznik/agda-writer) - eine Alternative zu Emacs auf OS X. – user3237465
Disclaimer: Autor von Agda Writer hier. Wenn Sie nicht mit Agda Writer zufrieden sind, sollten Sie auch Agda-Modus-Paket für Atom-Editor überprüfen. Aber Agda Writer kommt mit kompiliertem Agda daher wird keine Installation benötigt. Wenn Sie weitere Fragen haben, fragen Sie bitte. – markich
@markich Ich habe Agda Writer ausprobiert, als ich auf dieses Problem stieß, aber als ich versuchte, ein Agda-Skript zu laden, bekam ich einen Fehler wie "Kann nicht mehr als eine Datei laden". – is7s