search

ucsd-progsys / liquidhaskell-tutorial

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

Update stack.yaml #86

Closed mmport80 closed 4 years ago

mmport80 commented 4 years ago

match current Liquid Haskell config

ranjitjhala commented 4 years ago

Fantastic thanks!