search

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks
https://vehicle-lang.readthedocs.io/
Other
80 stars 7 forks source link

Move generated BNFC code to its own package #17

Closed wenkokke closed 3 years ago

MatthewDaggitt commented 3 years ago

Nice to have but this is blocked by the fact that stack doesn't seem to support internal libraries. See https://github.com/haskell/haskell-language-server/issues/2276 for details.

MatthewDaggitt commented 3 years ago

No longer blocked as we switched from Stack to Cabal