ucsd-progsys/liquidhaskell-tutorial issues and pull requests

#100 - Regarding reverse in Ch 8: Sets

Issue - State: closed - Opened by hafizhmakmur about 5 years ago - 2 comments

#99 - About Lemmas and other questions

Issue - State: open - Opened by hafizhmakmur about 5 years ago - 2 comments

#98 - Trouble with Chapter 11

Issue - State: closed - Opened by hafizhmakmur about 5 years ago - 3 comments

#97 - Request Failed0

Issue - State: open - Opened by hafizhmakmur about 5 years ago - 2 comments

#96 - Why does this zipWith from Chapter 7 fails?

Issue - State: closed - Opened by hafizhmakmur about 5 years ago - 3 comments

#95 - How do you refine a predicate which checks over all elements in a list?

Issue - State: closed - Opened by hafizhmakmur about 5 years ago - 6 comments

#94 - A curious case with Where

Issue - State: open - Opened by hafizhmakmur about 5 years ago - 3 comments

#93 - Difference between "null elts" and "length elts == 0"

Issue - State: closed - Opened by hafizhmakmur about 5 years ago - 3 comments

#92 - Merge example (05-datatypes) won't compile

Issue - State: open - Opened by DestyNova over 5 years ago - 9 comments

#91 - "not a subtype of Required type" error with insertSort' exercise

Issue - State: open - Opened by DestyNova over 5 years ago - 7 comments

#90 - Chapter 2 Issues

Issue - State: closed - Opened by hafizhmakmur over 5 years ago - 8 comments

#89 - Fix broken exercise in CH08

Pull Request - State: closed - Opened by tjade273 over 5 years ago

#88 - Why should 0 <= VV < acc

Issue - State: open - Opened by kishlaya over 5 years ago - 7 comments

#87 - Fix minor mistakes in Chapter 2

Pull Request - State: closed - Opened by adinapoli over 5 years ago - 1 comment

#86 - Update stack.yaml

Pull Request - State: closed - Opened by mmport80 almost 6 years ago - 1 comment

#85 - Ch 5: Sparse's 'fromList' works even if it just returns Nothing

Issue - State: closed - Opened by mpdairy almost 6 years ago - 2 comments

#84 - Do I need to do something to enable inference?

Issue - State: closed - Opened by mpdairy almost 6 years ago - 6 comments

#83 - Ch 4: Cannot unify Data.Vector.Vector with Data.Vector.Generic.Base.Vector

Issue - State: closed - Opened by mpdairy almost 6 years ago - 2 comments
Labels: enhancement

#82 - Cannot find Data.Vector

Issue - State: closed - Opened by mmport80 about 6 years ago - 10 comments

#81 - Confused by liquidhaskell submodule.

Issue - State: open - Opened by capn-freako about 6 years ago - 2 comments

#80 - Why is the resolver so far behind?

Issue - State: open - Opened by capn-freako about 6 years ago - 1 comment

#79 - Issues with quickSort in chapter 6

Issue - State: open - Opened by skyzh over 6 years ago - 7 comments

#78 - Fix an error on function merge in 05-datatypes

Pull Request - State: closed - Opened by skyzh over 6 years ago - 1 comment

#77 - Arithmetic example 4 doesn't work in "Logic & SMT"

Issue - State: closed - Opened by kubum over 6 years ago - 3 comments

#76 - liquidhaskell error about merge example

Issue - State: closed - Opened by mhwombat over 6 years ago - 6 comments

#75 - Fix for issue #74

Pull Request - State: open - Opened by mhwombat over 6 years ago - 1 comment

#74 - divide function in Chapter 3

Issue - State: open - Opened by mhwombat over 6 years ago - 1 comment

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

Issue - State: open - Opened by mhwombat over 6 years ago

#72 - Fixed sentence

Pull Request - State: closed - Opened by robkorn over 6 years ago - 2 comments

#71 - Error: errs is undefined (Polymorphism section)

Issue - State: open - Opened by felipeochoa almost 7 years ago - 1 comment

#70 - T68 fix make html

Pull Request - State: closed - Opened by waddlaw almost 7 years ago - 3 comments

#69 - T68 fix building html

Pull Request - State: closed - Opened by waddlaw almost 7 years ago - 2 comments

#68 - Trouble building HTML of tutorial

Issue - State: open - Opened by jessebrennan almost 7 years ago - 4 comments

#67 - Do the solutions to the exercises actually exist?

Issue - State: open - Opened by mbwgh about 7 years ago - 11 comments

#66 - Can't get tutorial up and running

Issue - State: closed - Opened by farao over 7 years ago - 1 comment

#65 - Update chapter09

Pull Request - State: closed - Opened by waddlaw over 7 years ago - 2 comments

#64 - Update ch02

Pull Request - State: closed - Opened by waddlaw over 7 years ago - 5 comments

#63 - Update ch08

Pull Request - State: closed - Opened by waddlaw over 7 years ago - 3 comments