John Lång
Results
13
issues of
John Lång
The function `delmin` in Chapter 5.3 seems to have a problem. I get the following error: ``` ~/liquidhaskell-tutorial/src/Tutorial_05_Datatypes.lhs:663:30: error: Liquid Type Mismatch . The inferred type VV : {v :...
I have a suggestion: The exercises could be numbered in the book so that it would be easier to refer to a particular exercise.