Update to latest Liquid Haskell

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell

MIT License

75 stars 27 forks source link

Closed CatarinaGamboa closed 1 year ago

CatarinaGamboa commented 1 year ago

I had trouble building on my M1 Mac. Bumping the versions seem to work.

ranjitjhala commented 1 year ago

Thanks very much @CatarinaGamboa !!!