Regenerated liveness datalog code using souffle 2.0
Point to a newer souffle-haskell commit (if this also works on your machine, I can make a new release)
Get rid of TH workarounds previously needed for souffle-haskell
and I also added a .gitignore 😅. I'm not sure about last commit since I'm not familiar with stack/this project; it might be cleaner to add that flag to just the external-stg-compiler cabal file?
and I also added a .gitignore 😅. I'm not sure about last commit since I'm not familiar with stack/this project; it might be cleaner to add that flag to just the external-stg-compiler cabal file?