search

ucsd-progsys / liquidhaskell-tutorial

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

Why is the resolver so far behind? #80

Open capn-freako opened 5 years ago

capn-freako commented 5 years ago

Why is the resolver (lts-10.3) so far behind? Is that necessary for correct functionality?

ranjitjhala commented 5 years ago

Not really, let me update! Thanks for the reminder!

On Tue, Jun 11, 2019 at 11:25 AM David Banas notifications@github.com wrote:

Why is the resolver (lts-10.3) so far behind? Is that necessary for correct functionality?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/80?email_source=notifications&email_token=AAMS4OGDFUOX6YUTX6KWJRTPZ7UXLA5CNFSM4HXCFFT2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4GY4I23Q, or mute the thread https://github.com/notifications/unsubscribe-auth/AAMS4OFVRHJ46WS5N2ZJA33PZ7UXLANCNFSM4HXCFFTQ .