List Question
19 TechQA 2023-12-17T21:39:40.207000agda-mode not installing onto any version of emacs
92 views
Asked by Luke McCartney
Where is the operator ≣ defined?
78 views
Asked by Daniil Iaitskov
writing a dependent type in agda to guarantee a list is sorted
97 views
Asked by mattdf
Ill-typed with abstraction while pattern matching on the decideable comparator, union type and dependent pair agda
89 views
Asked by Ilya Kolomin
How to shuffle a list i agda?
75 views
Asked by weyh
How to fix errors in "Total Parser Combinators" by Nils Anders Danielsson
60 views
Asked by systemcpro
lookup using Maps from Data.Tree.AVL.Map in Agda
106 views
Asked by xbreu
Pointwise Equality ≗ vs Propositional Equality ≡ in Agda
131 views
Asked by PaulProgrammerNoob
proof by contraposition in agda using solvers
87 views
Asked by Ace shinigami
Modular arithmetic proofs in agda
180 views
Asked by Ace shinigami
Need help converting number to string in Agda
83 views
Asked by gintunas
Agda Installation PLFA Configuration
93 views
Asked by John Fisher
Termination checking failed
229 views
Asked by Junkyards
Unresolved metas in for run in Agda hello-world
319 views
Asked by Ruifeng Xie
Agda: std-lib: List: check that a filtered list is empty
91 views
Asked by fsuna064
Co W in agda: cannot implement RawMonad instance due to universe levels
55 views
Asked by cspollard
Agda: std-lib: List: all but last element with snoc
91 views
Asked by fsuna064
Agda: std-lib: List: pattern matching with snoc
131 views
Asked by fsuna064
Preventing development agda from breaking basic standard library usage?
131 views
Asked by AudioBubble