Questions about agda
Read more about agda
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
How to go to definition for a module in agda on vsc
In visual studio code, the go to definition doesn't work for agda modules. I checked the key-bindings for agda-mode and the only one useful seemed c-c c-o but that doesn't seem to find some loaded mod...
kuco 23
Votes: 0
Answers: 0
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