Question

What does the pound sign mean in Idris 2?

score 59 · Answer 1 · 2025-01-01 11:23:28

59

Views

What does the pound sign mean in Idris 2?

Published on 01 January 2025 at 11:23

score 90 · Answer 2 · 2024-12-28 22:16:45

90

Views

Maximum Int in Idris

Published on 28 December 2024 at 22:16

score 268 · Answer 3 · 2024-12-09 05:23:09

268

Views

Importing from the contrib library fails

Published on 09 December 2024 at 05:23

score 112 · Answer 4 · 2025-01-05 10:27:48

112

Views

Returning a dependent pair from a foreign function

Published on 05 January 2025 at 10:27

score 89 · Answer 5 · 2024-12-09 05:28:30

89

Views

Main.case block in case block in _ is not accessible in this context

Published on 09 December 2024 at 05:28

score 283 · Answer 6 · 2025-01-02 09:46:30

283

Views

Idris2: Nested WITH clause

Published on 02 January 2025 at 09:46

score 98 · Answer 7 · 2024-12-09 05:23:57

98

Views

Why idris2 can't proof that div 1 2 < 1 = True?

Published on 09 December 2024 at 05:23

score 140 · Answer 8 · 2024-12-09 05:25:19

140

Views

How does Fin "know" not to go past its type bound?

Published on 09 December 2024 at 05:25

score 120 · Answer 9 · 2024-12-25 10:25:02

120

Views

Why does Idris think my type parameter k is of type Type?

Published on 25 December 2024 at 10:25

score 85 · Answer 10 · 2025-01-07 03:57:45

85

Views

Check length of a tuple by pattern matching

Published on 07 January 2025 at 03:57

score 96 · Answer 11 · 2024-12-09 05:22:29

96

Views

How should I sum doubles in Idris?

Published on 09 December 2024 at 05:22

score 195 · Answer 12 · 2024-12-09 05:24:42

195

Views

How do I read all of standard input in Idris2?

Published on 09 December 2024 at 05:24

score 62 · Answer 13 · 2025-01-03 01:01:44

62

Views

How to use the result of a depedent pair?

Published on 03 January 2025 at 01:01

score 51 · Answer 14 · 2024-12-09 05:31:08

51

Views

What are the builddir and outputdir and why are they generating a "File Not Found" error?

Published on 09 December 2024 at 05:31

score 101 · Answer 15 · 2024-12-09 05:28:29

101

Views

Can I avoid lower-case global variables being shadowed in types?

Published on 09 December 2024 at 05:28

score 87 · Answer 16 · 2024-12-09 05:25:04

87

Views

How to use interfaces with parameterized tuple?

Published on 09 December 2024 at 05:25

score 86 · Answer 17 · 2024-12-09 05:26:46

86

Views

How to implement `Show` interface for parameterized tuple?

Published on 09 December 2024 at 05:26

score 85 · Answer 18 · 2024-12-09 05:24:40

85

Views

How to fix an inaccessible variable in idris2?

Published on 09 December 2024 at 05:24

score 147 · Answer 19 · 2024-12-09 05:27:56

147

Views

What does the 0 or 1 before a parameter name mean in Idris?

Published on 09 December 2024 at 05:27

score 78 · Answer 20 · 2024-12-09 05:30:52

78

Views

Type-safely Implementing an Arbitrary Degree Blackbird Combinator (B-n Combinator)

Published on 09 December 2024 at 05:30

List Question

What does the pound sign mean in Idris 2?

Maximum Int in Idris

Importing from the contrib library fails

Returning a dependent pair from a foreign function

Main.case block in case block in _ is not accessible in this context

Idris2: Nested WITH clause

Why idris2 can't proof that div 1 2 < 1 = True?

How does Fin "know" not to go past its type bound?

Why does Idris think my type parameter k is of type Type?

Check length of a tuple by pattern matching

How should I sum doubles in Idris?

How do I read all of standard input in Idris2?

How to use the result of a depedent pair?

What are the builddir and outputdir and why are they generating a "File Not Found" error?

Can I avoid lower-case global variables being shadowed in types?

How to use interfaces with parameterized tuple?

How to implement `Show` interface for parameterized tuple?

How to fix an inaccessible variable in idris2?

What does the 0 or 1 before a parameter name mean in Idris?

Type-safely Implementing an Arbitrary Degree Blackbird Combinator (B-n Combinator)

Trending Questions

Popular # Hahtags

Popular Questions