search

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell
https://ucsd-progsys.github.io/liquidhaskell-tutorial/
MIT License
75 stars 27 forks source link

Instructions for running LiquidHaskell #112

Open jllang opened 3 years ago

jllang commented 3 years ago

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 commented 1 year ago

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 commented 1 year ago

Thanks for the link!