agda

108 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Unable to install agda via homebrew in mac os x M1 chip
user_16015800
•
1
0
81
agda-mode agda
Types that constrain vectors based on norm
user_113029770
•
3
1
144
idris agda math functional-programming haskell
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
The list monad is not a free monad but …
user_37809310
•
9
1
433
free-monad category-theory agda monads haskell
Why is chain of equational reasoning failing to meet trivially solvable constraints?
user_15497360
•
2
1
72
equational-reasoning agda type-constraints
`take n (take n xs) ≡ take n xs` for `Vec` in Agda
user_179198290
•
2
1
97
dependent-type take agda vector
Agda: How to check the type even when file doesn't typecheck yet?
user_104971320
•
2
0
39
agda-mode agda
In Agda, how to prove properties about matched patterns in with-abstractions?
user_131779210
•
2
1
61
agda with-statement pattern-matching
Hot Questions