Labels

• build-system
• CI

  Continuous integration
• compiler:errors
• compiler:evaluation
• compiler:itp-backend
• compiler:loss-backend
• compiler:other
• compiler:type-checker
• compiler:verifier-backend
• compiler:warnings
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• ghc-9.4
• github_actions

  Pull requests that update GitHub Actions code
• language
• mypy
• performance
• python

  Pull requests that update Python code
• refactoring
• resource:IDX files
• resource:ONNX files
• soundness

  affects the soundness of the system
• status: blocked

  Blocked by some other issue
• status:duplicate

  This issue or pull request already exists
• status:ice-box
• status:invalid
• status:wontfix

  This will not be worked on
• test-suite
• upstream