agda

108 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Literate Agda in Markdown format to LaTeX via Pandoc
user_4774760
•
4
0
254
pandoc agda literate-programming syntax-highlighting markdown
Representing homomorphisms without writing all laws out
user_4774760
•
3
1
78
homomorphism homotopy-type-theory cubical-type-theory agda
How do I convert the result?
user_31155200
•
2
2
47
agda pattern-matching equality
Defining non-unary functions in Cubical mode
user_4774760
•
7
2
502
homotopy-type-theory cubical-type-theory topology agda
Nonsense "Not in scope" errors
user_10317910
•
5
1
1011
agda
Why we cannot pattern match on Set/Type in Coq/Agda/Idris？
user_16082760
•
6
1
524
idris coq agda
Why aren't levels in Agda inferred?
user_39539880
•
3
0
82
agda
Agda's `rewrite` fails with an error mentioning variable "w"
user_70834010
•
4
1
198
agda
How to define an alias in Agda's type delaration?
user_70834010
•
4
1
428
agda functional-programming
Data.AVL.map that changes value type
user_4774760
•
3
2
78
agda functor dictionary
Hot Questions