Instructions for running LiquidHaskell

[jllang]

The first chapter of the tutorial only tells how to run the chapters of the book using stack. I think that instructions for installing LiquidHaskell and running it from a command line on a single file would be a nice addition to a tutorial. Now the problem is that by only reading the tutorial and fixing the declarations in the files, I don't get the feeling on how to actually deploy LiquidHaskell in real life.

[Genlight]

this is a bit of an old post but for anyone else looking, there is an example project which shows how stack has to be configured to work with LiquidHaskell: see lh-plugin-demo

cheers

[jllang]

Thanks for the link!