agda

108 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to extract the second element of Sigma on the Calculus of Constructions?
user_10317910
•
9
0
345
idris coq agda functional-programming haskell
Haskell Deriving Mechanism for Agda
user_35504440
•
7
2
376
signature agda haskell
Realising level polymorphic subsets within records
user_35504440
•
3
1
52
agda subset set
Does Idris have an equivalent to Agda's `_` expressions?
user_7883370
•
6
1
459
theorem-proving dependent-type idris agda
How dangerous is trustMe?
user_8120530
•
5
1
406
agda
What does \forall (∀) actually mean in a signature?
user_9386940
•
7
1
1408
dependent-type agda
Agda: parse a string with numbers
user_3913990
•
6
3
1037
dependent-type agda
Unsafe coerce and more efficient Agda code (-ftrust-me-im-agda)
user_838050
•
32
1
1636
agda compiler-construction haskell
Hot Questions