Question

`let` inside a refinement type

score 93 · Answer 1 · 2022-11-06T06:21:08.707000

93

Views

`let` inside a refinement type

Published on 06 November 2022 at 06:21

score 100 · Answer 2 · 2022-11-06T06:17:29.513000

100

Views

How to eta-convert tuple of refinement-typed coordinates?

Published on 06 November 2022 at 06:17

score 130 · Answer 3 · 2022-09-18T10:51:41.993000

130

Views

Syntax for using datatype indexed by Nat

Published on 18 September 2022 at 10:51

score 224 · Answer 4 · 2021-04-06T06:36:03.547000

224

Views

What language has equational rewrite?

Published on 06 April 2021 at 06:36

score 158 · Answer 5 · 2021-03-25T17:25:35.043000

158

Views

Need help installing LiquidHaskell on Ubuntu

Published on 25 March 2021 at 17:25

score 83 · Answer 6 · 2021-01-18T21:33:11.470000

83

Views

Expanding recursive case of function in equational reasoning

Published on 18 January 2021 at 21:33

score 72 · Answer 7 · 2021-01-07T03:29:07.437000

72

Views

Problem with naming record fields for List data type

Published on 07 January 2021 at 03:29

score 157 · Answer 8 · 2020-12-26T21:31:15.920000

157

Views

LiquidHaskell: Functor Law

Published on 26 December 2020 at 21:31

score 107 · Answer 9 · 2020-03-29T19:55:11.983000

107

Views

Can't prove unique refinement type for filter function

Published on 29 March 2020 at 19:55

score 189 · Answer 10 · 2019-11-13T14:20:14.597000

189

Views

Expressive power of Liquid Haskell

Published on 13 November 2019 at 14:20

score 307 · Answer 11 · 2019-11-13T04:59:35.577000

307

Views

Defining measures in Liquid Haskell

Published on 13 November 2019 at 04:59

score 842 · Answer 12 · 2019-11-11T18:26:08.357000

842

Views

How to write a log2 function in Liquid Haskell

Published on 11 November 2019 at 18:26

score 119 · Answer 13 · 2019-10-07T18:58:17.077000

119

Views

Simple liquidhaskell example fails expected behavior

Published on 07 October 2019 at 18:58

score 205 · Answer 14 · 2019-07-27T23:23:30.440000

205

Views

Simple congruence proof error with Liquid Haskell - Liquid Type Mismatch

Published on 27 July 2019 at 23:23

score 131 · Answer 15 · 2019-06-17T07:38:49.717000

131

Views

Why does LiquidHaskell fail to take guard into account?

Published on 17 June 2019 at 07:38

score 689 · Answer 16 · 2019-06-03T10:12:49.453000

689

Views

Canonical way to fix error with Data.Text.head in Liquid Haskell?

Published on 03 June 2019 at 10:12

score 289 · Answer 17 · 2019-05-30T10:55:04.537000

289

Views

What is a measure?

Published on 30 May 2019 at 10:55

score 68 · Answer 18 · 2019-05-29T13:24:04.327000

68

Views

Are these examples correct or the tutorial has an error?

Published on 29 May 2019 at 13:24

score 247 · Answer 19 · 2019-05-27T12:38:38.290000

247

Views

What is the correct contract of the function "map" in Liquid Haskell?

Published on 27 May 2019 at 12:38

score 369 · Answer 20 · 2019-05-23T14:15:55.973000

369

Views

Why is Nat type equal to Int in Liquid Haskell?

Published on 23 May 2019 at 14:15

List Question

`let` inside a refinement type

How to eta-convert tuple of refinement-typed coordinates?

Syntax for using datatype indexed by Nat

What language has equational rewrite?

Need help installing LiquidHaskell on Ubuntu

Expanding recursive case of function in equational reasoning

Problem with naming record fields for List data type

LiquidHaskell: Functor Law

Can't prove unique refinement type for filter function

Expressive power of Liquid Haskell

Defining measures in Liquid Haskell

How to write a log2 function in Liquid Haskell

Simple liquidhaskell example fails expected behavior

Simple congruence proof error with Liquid Haskell - Liquid Type Mismatch

Why does LiquidHaskell fail to take guard into account?

Canonical way to fix error with Data.Text.head in Liquid Haskell?

What is a measure?

Are these examples correct or the tutorial has an error?

What is the correct contract of the function "map" in Liquid Haskell?

Why is Nat type equal to Int in Liquid Haskell?

Trending Questions

Popular # Hahtags

Popular Questions