yanhasu
yanhasu
Issue #1285 suggests merging `inline` and `measure` into `reflect` to increase user-friendliness. Why not go one step further and get rid of `reflect` too, by automatically reflecting functions that are...
This project has both a [documentation website](https://ucsd-progsys.github.io/liquidhaskell/) and a [blog website](https://ucsd-progsys.github.io/liquidhaskell-blog/). Both are run out of the `ucsd-progsys.github.io` domain, and contain some shared information (e.g. links to this repo and...
There are (at least) three versions of the 'Programming with Refinement Types' tutorial floating around the LH documentation: 1. https://ucsd-progsys.github.io/lh-workshop/ (linked to from README.md as a '120 minute workshop') 2....
If I try and replicate the abstract refinements example from [a more recent version of the tutorial](https://goto.ucsd.edu/~nvazou/cufp15_liquidHaskell/05-abstract-refinements.html) ([and the blog](https://ucsd-progsys.github.io/liquidhaskell-blog/2013/06/03/abstracting-over-refinements.lhs/)): ``` module ARTestBad where import Prelude hiding (max) {-@ max...
Liquid Haskell occasionally replaces helpful GHC error massages with mysterious 'elaborate solver' errors. For example, the following code contains a 'normal' type error (I forgot some parentheses): ```.haskell module BugReport...