Question

agda-mode not installing onto any version of emacs

score 92 · Answer 1 · 2023-12-17T21:39:40.207000

92

Views

agda-mode not installing onto any version of emacs

Published on 17 December 2023 at 21:39

score 78 · Answer 2 · 2023-11-15T21:49:17.490000

78

Views

Where is the operator ≣ defined?

Published on 15 November 2023 at 21:49

score 97 · Answer 3 · 2023-09-01T23:41:51.320000

97

Views

writing a dependent type in agda to guarantee a list is sorted

Published on 01 September 2023 at 23:41

score 89 · Answer 4 · 2023-05-18T21:17:20.270000

89

Views

Ill-typed with abstraction while pattern matching on the decideable comparator, union type and dependent pair agda

Published on 18 May 2023 at 21:17

score 75 · Answer 5 · 2023-04-10T12:49:00.957000

75

Views

How to shuffle a list i agda?

Published on 10 April 2023 at 12:49

score 60 · Answer 6 · 2023-02-08T11:54:33.010000

60

Views

How to fix errors in "Total Parser Combinators" by Nils Anders Danielsson

Published on 08 February 2023 at 11:54

score 106 · Answer 7 · 2022-12-19T23:56:57.420000

106

Views

lookup using Maps from Data.Tree.AVL.Map in Agda

Published on 19 December 2022 at 23:56

score 131 · Answer 8 · 2022-11-03T12:27:03.707000

131

Views

Pointwise Equality ≗ vs Propositional Equality ≡ in Agda

Published on 03 November 2022 at 12:27

score 87 · Answer 9 · 2022-10-14T09:07:39.197000

87

Views

proof by contraposition in agda using solvers

Published on 14 October 2022 at 09:07

score 180 · Answer 10 · 2022-10-10T13:38:02.287000

180

Views

Modular arithmetic proofs in agda

Published on 10 October 2022 at 13:38

score 83 · Answer 11 · 2022-04-26T21:42:40.703000

83

Views

Need help converting number to string in Agda

Published on 26 April 2022 at 21:42

score 93 · Answer 12 · 2022-03-09T22:31:10.600000

93

Views

Agda Installation PLFA Configuration

Published on 09 March 2022 at 22:31

score 229 · Answer 13 · 2022-02-23T08:35:11.137000

229

Views

Termination checking failed

Published on 23 February 2022 at 08:35

score 319 · Answer 14 · 2021-03-06T11:42:38.000000

319

Views

Unresolved metas in for run in Agda hello-world

Published on 06 March 2021 at 11:42

score 91 · Answer 15 · 2021-01-08T02:27:47.367000

91

Views

Agda: std-lib: List: check that a filtered list is empty

Published on 08 January 2021 at 02:27

score 55 · Answer 16 · 2020-12-30T22:19:35.900000

55

Views

Co W in agda: cannot implement RawMonad instance due to universe levels

Published on 30 December 2020 at 22:19

score 91 · Answer 17 · 2020-11-30T05:02:12.797000

91

Views

Agda: std-lib: List: all but last element with snoc

Published on 30 November 2020 at 05:02

score 131 · Answer 18 · 2020-11-28T21:55:31.377000

131

Views

Agda: std-lib: List: pattern matching with snoc

Published on 28 November 2020 at 21:55

score 131 · Answer 19 · 2020-09-17T22:33:12.903000

131

Views

Preventing development agda from breaking basic standard library usage?

Published on 17 September 2020 at 22:33

List Question

agda-mode not installing onto any version of emacs

Where is the operator ≣ defined?

writing a dependent type in agda to guarantee a list is sorted

Ill-typed with abstraction while pattern matching on the decideable comparator, union type and dependent pair agda

How to shuffle a list i agda?

How to fix errors in "Total Parser Combinators" by Nils Anders Danielsson

lookup using Maps from Data.Tree.AVL.Map in Agda

Pointwise Equality ≗ vs Propositional Equality ≡ in Agda

proof by contraposition in agda using solvers

Modular arithmetic proofs in agda

Need help converting number to string in Agda

Agda Installation PLFA Configuration

Termination checking failed

Unresolved metas in for run in Agda hello-world

Agda: std-lib: List: check that a filtered list is empty

Co W in agda: cannot implement RawMonad instance due to universe levels

Agda: std-lib: List: all but last element with snoc

Agda: std-lib: List: pattern matching with snoc

Preventing development agda from breaking basic standard library usage?

Trending Questions

Popular # Hahtags

Popular Questions