ucsd-progsys/liquidhaskell-tutorial

Issues

• Chapter 9 - Broken link to Okasaki's JFP article

  #132 opened 3 months ago by mister-walter
  0

• Chapter 4 Polymorphism

  #130 opened 4 months ago by matheussbernardo
  4

• Confusion of `fromList` on Chapter 5

  #131 opened 4 months ago by VhRvo
  1

• Passing -fdefer-type-errors to GHC causes confusing errors from LH

  #119 opened a year ago by matthew-healy
  3

• Link is no longer available

  #122 opened 2 years ago by zlonast
  1

• Instructions for running LiquidHaskell

  #112 opened 3 years ago by jllang
  2

• Text description of "null" in Chapter 6 is reversed

  #121 opened 2 years ago by mgritter
  1

• Liquid Type Mismatch on Initial Build

  #117 opened 3 years ago by pmbittner
  2

• Current HEAD of main fails to build

  #115 opened 3 years ago by shingarov
  4

• Chapter 12 Exercise InsertRight

  #114 opened 3 years ago by jllang
  4

• Do the solutions to the exercises actually exist?

  #67 opened 7 years ago by mbwgh
  11

• Figures 1.4 and 1.5 in Chapter 12

  #113 opened 3 years ago by jllang
  0

• Links to subsections don't work for me

  #109 opened 4 years ago by jllang
  2

• Chapter 8 exercise "reverse"

  #111 opened 4 years ago by jllang
  8

• Syntax of refinement types

  #110 opened 4 years ago by jllang
  4

• Question about Chapter 5.3: delmin

  #108 opened 4 years ago by jllang
  2

• Numbering the exercises

  #107 opened 4 years ago by jllang
  1

• there is an extra ")" at the end of this line

  #106 opened 4 years ago by LuKuangChen
  0

• Can't even get started because of build issues

  #105 opened 4 years ago by ksvanhorn
  5

• apparent typo in tutorial under "Testing Values: Booleans and Propositions"

  #104 opened 4 years ago by pdavidow
  0

• How to workaround using Stack for building html

  #103 opened 4 years ago by hafizhmakmur
  7

• Regarding reverse in Ch 8: Sets

  #100 opened 5 years ago by hafizhmakmur
  2

• About Lemmas and other questions

  #99 opened 5 years ago by hafizhmakmur
  2

• Request Failed0

  #97 opened 5 years ago by hafizhmakmur
  2

• Trouble with Chapter 11

  #98 opened 5 years ago by hafizhmakmur
  3

• How do you refine a predicate which checks over all elements in a list?

  #95 opened 5 years ago by hafizhmakmur
  6

• A curious case with Where

  #94 opened 5 years ago by hafizhmakmur
  3

• Why does this zipWith from Chapter 7 fails?

  #96 opened 5 years ago by hafizhmakmur
  3

• Difference between "null elts" and "length elts == 0"

  #93 opened 5 years ago by hafizhmakmur
  3

• Merge example (05-datatypes) won't compile

  #92 opened 5 years ago by DestyNova
  9

• "not a subtype of Required type" error with insertSort' exercise

  #91 opened 5 years ago by DestyNova
  7

• Why should 0 <= VV < acc

  #88 opened 5 years ago by kishlaya
  7

• Chapter 2 Issues

  #90 opened 5 years ago by hafizhmakmur
  8

• Ch 5: Sparse's 'fromList' works even if it just returns Nothing

  #85 opened 5 years ago by mpdairy
  2

• Do I need to do something to enable inference?

  #84 opened 5 years ago by mpdairy
  6

• Ch 4: Cannot unify Data.Vector.Vector with Data.Vector.Generic.Base.Vector

  #83 opened 5 years ago by mpdairy
  2

• Cannot find Data.Vector

  #82 opened 6 years ago by mmport80
  10

• Confused by liquidhaskell submodule.

  #81 opened 6 years ago by capn-freako
  2

• Why is the resolver so far behind?

  #80 opened 6 years ago by capn-freako
  1

• Issues with quickSort in chapter 6

  #79 opened 6 years ago by skyzh
  7

• liquidhaskell error about merge example

  #76 opened 6 years ago by mhwombat
  6

• Arithmetic example 4 doesn't work in "Logic & SMT"

  #77 opened 6 years ago by kubum
  3

• divide function in Chapter 3

  #74 opened 6 years ago by mhwombat
  1

• The project contains no local packages (packages not marked with 'extra-dep')

  #73 opened 6 years ago by mhwombat
  0

• Error: errs is undefined (Polymorphism section)

  #71 opened 6 years ago by felipeochoa
  1

• Trouble building HTML of tutorial

  #68 opened 6 years ago by jessebrennan
  4

• Can't get tutorial up and running

  #66 opened 7 years ago by farao
  1

• Which description is correct?

  #53 opened 7 years ago by waddlaw
  7

• Nothing to fix in exercise (Average, Maybe), chapter 6

  #51 opened 7 years ago by goosetherumfoodle
  2

• Typos

  #48 opened 8 years ago by ethanfrey
  4