Questions about agda-mode
Read more about agda-mode
python (65.1k questions)
javascript (44.2k questions)
reactjs (22.7k questions)
java (20.8k questions)
c# (17.4k questions)
html (16.3k questions)
r (13.7k questions)
android (12.9k questions)
Emacs doesn't see agda when launched from an .sh script
I made an .sh script with the following code
#!/bin/sh
cd ~/Projects/Agda\ projects/
emacs
But whenever I launch it I get the following error
File is missing: Cannot open load file, no such file or d...
Артём Мухамед-Каримов МПБ-802
Votes: 0
Answers: 1
Agda Installation PLFA Configuration
I am trying to use the Programming Language Foundation with Agda plfa library, however the import does not appear to be working properly.
I have cloned the repository and added the repository path to:...
John Fisher
Votes: 0
Answers: 1
Unable to open 'Agda': AbstractContextKeyService has been disposed
I'm trying to use agda-mode on visual studio code on windows 10. I'm getting this error on VSC when pressing ctrl-c ctrl-l (or any other) keybinding associated with agda-mode. I had this issue a coupl...
kuco 23
Votes: 0
Answers: 2
Agda: How to check the type even when file doesn't typecheck yet?
In agda-mode there is C-c C-d command to infer a type of expression. This is especially needed when we arrive at a type error! But exactly then this command doesn't work. I would guess that this is be...
zaabson
Votes: 0
Answers: 0