Question

What does the pound sign mean in Idris 2?

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

47

Views

What does the pound sign mean in Idris 2?

Published on 01 January 2025 at 11:23

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

81

Views

Maximum Int in Idris

Published on 28 December 2024 at 22:16

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

258

Views

Importing from the contrib library fails

Published on 09 December 2024 at 05:23

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

102

Views

Returning a dependent pair from a foreign function

Published on 05 January 2025 at 10:27

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

79

Views

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

Published on 09 December 2024 at 05:28

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

274

Views

Idris2: Nested WITH clause

Published on 02 January 2025 at 09:46

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

88

Views

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

Published on 09 December 2024 at 05:23

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

127

Views

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

Published on 09 December 2024 at 05:25

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

109

Views

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

Published on 25 December 2024 at 10:25

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

74

Views

Check length of a tuple by pattern matching

Published on 07 January 2025 at 03:57

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

91

Views

How should I sum doubles in Idris?

Published on 09 December 2024 at 05:22

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

190

Views

How do I read all of standard input in Idris2?

Published on 09 December 2024 at 05:24

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

57

Views

How to use the result of a depedent pair?

Published on 03 January 2025 at 01:01

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

45

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 95 · Answer 15 · 2024-12-09 05:28:29

95

Views

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

Published on 09 December 2024 at 05:28

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

82

Views

How to use interfaces with parameterized tuple?

Published on 09 December 2024 at 05:25

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

81

Views

How to implement `Show` interface for parameterized tuple?

Published on 09 December 2024 at 05:26

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

80

Views

How to fix an inaccessible variable in idris2?

Published on 09 December 2024 at 05:24

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

142

Views

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

Published on 09 December 2024 at 05:27

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

73

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