search

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks
https://vehicle-lang.readthedocs.io/
BSD 3-Clause "New" or "Revised" License
74 stars 5 forks source link

Remove support for GHC 8.10 and 9.0 #792

Open MatthewDaggitt opened 3 months ago

MatthewDaggitt commented 3 months ago

According to Haskell these are both deprecated:

https://haskell-language-server.readthedocs.io/en/stable/support/ghc-version-support.html#current-ghc-version-support-status

wenkokke commented 3 months ago

Wait, according to the Haskell Language Server team doesn't mean according to the Haskell Foundation or the GHC team!