Question

What does the pound sign mean in Idris 2?

score 14 · Answer 1 · 2023-10-19 22:20:01

14

Views

What does the pound sign mean in Idris 2?

Published on 19 October 2023 at 22:20

score 44 · Answer 2 · 2023-11-10 02:29:49

44

Views

Maximum Int in Idris

Published on 10 November 2023 at 02:29

score 224 · Answer 3 · 2022-04-28 11:01:01

224

Views

Importing from the contrib library fails

Published on 28 April 2022 at 11:01

score 68 · Answer 4 · 2022-05-01 07:05:40

68

Views

Returning a dependent pair from a foreign function

Published on 01 May 2022 at 07:05

score 53 · Answer 5 · 2022-05-02 12:38:29

53

Views

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

Published on 02 May 2022 at 12:38

score 234 · Answer 6 · 2022-05-07 02:49:30

234

Views

Idris2: Nested WITH clause

Published on 07 May 2022 at 02:49

score 57 · Answer 7 · 2023-01-04 02:31:24

57

Views

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

Published on 04 January 2023 at 02:31

score 96 · Answer 8 · 2023-01-08 06:50:49

96

Views

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

Published on 08 January 2023 at 06:50

score 76 · Answer 9 · 2022-06-12 18:03:54

76

Views

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

Published on 12 June 2022 at 18:03

score 43 · Answer 10 · 2022-11-09 08:42:31

43

Views

Check length of a tuple by pattern matching

Published on 09 November 2022 at 08:42

score 85 · Answer 11 · 2022-11-22 09:31:11

85

Views

How should I sum doubles in Idris?

Published on 22 November 2022 at 09:31

score 181 · Answer 12 · 2022-12-02 22:42:09

181

Views

How do I read all of standard input in Idris2?

Published on 02 December 2022 at 22:42

score 51 · Answer 13 · 2023-07-08 13:01:01

51

Views

How to use the result of a depedent pair?

Published on 08 July 2023 at 13:01

score 40 · Answer 14 · 2023-02-26 00:34:14

40

Views

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

Published on 26 February 2023 at 00:34

score 88 · Answer 15 · 2022-07-19 21:26:49

88

Views

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

Published on 19 July 2022 at 21:26

score 77 · Answer 16 · 2022-08-15 00:04:00

77

Views

How to use interfaces with parameterized tuple?

Published on 15 August 2022 at 00:04

score 76 · Answer 17 · 2022-08-14 22:06:37

76

Views

How to implement `Show` interface for parameterized tuple?

Published on 14 August 2022 at 22:06

score 74 · Answer 18 · 2023-05-21 03:55:03

74

Views

How to fix an inaccessible variable in idris2?

Published on 21 May 2023 at 03:55

score 136 · Answer 19 · 2022-06-22 00:08:59

136

Views

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

Published on 22 June 2022 at 00:08

score 68 · Answer 20 · 2023-12-28 08:09:16

68

Views

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

Published on 28 December 2023 at 08:09

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