Variable not in scope:

Variable not in scope:

Variable not in scope:

Variable not in scope:

Process completed with exit code 1.

Variable not in scope:

Variable not in scope:

Variable not in scope:

Variable not in scope:

Process completed with exit code 1.

Variable not in scope:

Variable not in scope:

Variable not in scope:

Variable not in scope:

Process completed with exit code 1.

The run was canceled by @larskuhtz.

Variable not in scope:

Variable not in scope:

Variable not in scope:

Variable not in scope:

Process completed with exit code 1.

The run was canceled by @larskuhtz.

The operation was canceled.

The run was canceled by @larskuhtz.

The operation was canceled.

The run was canceled by @larskuhtz.

The operation was canceled.

The run was canceled by @larskuhtz.

The operation was canceled.

The run was canceled by @larskuhtz.

The operation was canceled.

The run was canceled by @larskuhtz.

The operation was canceled.

The run was canceled by @larskuhtz.

The operation was canceled.

The run was canceled by @larskuhtz.

The operation was canceled.

The run was canceled by @larskuhtz.

The operation was canceled.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, larskuhtz/setup-z3@c209497f76e03a4c71ec92c0c6621fb3e1ea5fba, actions/cache@v3, larskuhtz/cabal-cache-action@018b7ae0c480ba3dc4fa0cfa3a0bc1f05b7724b3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, larskuhtz/setup-z3@c209497f76e03a4c71ec92c0c6621fb3e1ea5fba, actions/cache@v3, larskuhtz/cabal-cache-action@018b7ae0c480ba3dc4fa0cfa3a0bc1f05b7724b3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, larskuhtz/setup-z3@c209497f76e03a4c71ec92c0c6621fb3e1ea5fba, actions/cache@v3, larskuhtz/cabal-cache-action@018b7ae0c480ba3dc4fa0cfa3a0bc1f05b7724b3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The import of ‘foldl'’ from module ‘Data.List’ is redundant

The import of ‘Data.Foldable’ is redundant

In the use of ‘head’

The import of ‘foldl'’ from module ‘Data.List’ is redundant

The import of ‘Data.Foldable’ is redundant

In the use of ‘head’

The import of ‘foldl'’ from module ‘Data.List’ is redundant

The import of ‘Data.Foldable’ is redundant

In the use of ‘head’

The import of ‘foldl'’ from module ‘Data.List’ is redundant

The import of ‘Data.Foldable’ is redundant