agda-mode

9 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Equivalent of Coq's `Eval` for Agda
user_115885050
•
1
1
33
agda-mode agda
Unable to install agda via homebrew in mac os x M1 chip
user_16015800
•
1
0
81
agda-mode agda
Emacs doesn't see agda when launched from an .sh script
user_149124580
•
2
1
71
agda-mode agda sh emacs bash
Agda Installation PLFA Configuration
user_124304310
•
2
1
34
agda-stdlib agda-mode agda
Unable to open 'Agda': AbstractContextKeyService has been disposed
user_84562530
•
2
2
326
agda-mode agda visual-studio
Agda: How to check the type even when file doesn't typecheck yet?
user_104971320
•
2
0
39
agda-mode agda
What are the general forms for type ascription in Agda?
user_905590
•
3
1
85
agda-mode agda
Agda - Building proofs interactively - How to use the hole syntax?
user_31341920
•
2
1
673
agda-mode agda
How do I check whether an agda term associated with a specific name relies on hole?
user_89108180
•
3
1
310
agda-mode agda emacs
  • 1
Hot Questions