Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update dependency: haskell-backend/src/main/native/haskell-backend (r…
…untimeverification#2383) * haskell-backend/src/main/native/haskell-backend: 2418087ba - LTS Haskell 18.18 (runtimeverification#2924) * haskell-backend/src/main/native/haskell-backend: 96c6f4462 - Add --simplifierx CL switch for all simplifier-using tools (runtimeverification#2941)
- Loading branch information