agda

108 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Is flattening a list easier in dependently typed functional programming languages?
user_72491000
•
2
4
298
idris coq agda functional-programming haskell
How to break long lines in Agda
user_16373290
•
2
1
49
agda
Why won't the following Agda code typecheck?
user_99645410
•
2
1
104
agda
Can I safely assume that isomorphic types are equal?
user_37809310
•
4
1
210
theorem-proving dependent-type coq agda proof
What are the general forms for type ascription in Agda?
user_905590
•
3
1
85
agda-mode agda
Agda not eliminating clause in goal despite pattern matching on it
user_104207000
•
2
1
78
theorem-proving agda proof types
Agda. Parameters before/after colon
user_149124580
•
3
1
82
colon agda parameters syntax types
Agda: How usual/curly braces are used relative to each other and to ':' sign
user_149124580
•
2
1
109
agda declaration syntax types
Termination checking failed to prove ∃-even′ : ∀ {n : ℕ} → ∃[ m ] ( 2 * m ≡ n) → even n
user_9763710
•
3
1
71
plfa agda termination
Paths vs Equivalences in cubical agda for specific computational behavior
user_81494410
•
3
1
70
cubical-type-theory agda
Hot Questions