Ich arbeite durch eine paper, die das Mittel-Punkt-Zeichen in Agda-Code verwendet. Ich würde gerne in der Lage sein, es ohne Kopieren/Einfügen zu tippen. Wie kann ich es mit Agda-Modus eingeben? Ich h
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. Wenn Emacs/Aquamacs Laden bekomme i