agda

108 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Out-of-memory condition error when updating agda with cabal?
Admin1
•
3
1
211
cabal-install agda cabal haskell
How does one use identity elimination (in agda) to prove Eckmann Hilton for higher dimensional paths in HoTT?
Admin1
•
4
1
84
homotopy-type-theory induction agda
Proof about a function that uses rewrite: a "vertical bars in goals" question
user_135950010
•
2
1
292
agda
Overcoming definitional equality issues when constructing basic Agda functions
Admin1
•
2
1
71
agda list equality
Understanding unsolved metavariables and yellow highlighting in agda
Admin1
•
2
1
196
agda typechecking
Proving a theorem using equality relation: ∀[ x ] ∀[ y ] (¬ Eq x y → ¬ Eq (f x) (f y))
user_50452950
•
2
1
85
relation agda logic
Agda - Building proofs interactively - How to use the hole syntax?
user_31341920
•
2
1
673
agda-mode agda
Need hints about proving some intuitionistic logic statements
user_135187840
•
2
1
68
dependent-type agda functional-programming
Could not parse the left-hand side (m + 1) * n
user_19737930
•
3
2
219
agda
Convincing Agda that a recursive function is terminating
user_134506730
•
2
1
346
agda termination functional-programming
Hot Questions