Skip to content

fix(scoring): normalize ∞ and \infty to the same token - #496

Open
marktech0813 wants to merge 1 commit into
James-CUDA:mainfrom
marktech0813:fix/495-infty-unicode
Open

fix(scoring): normalize ∞ and \infty to the same token#496
marktech0813 wants to merge 1 commit into
James-CUDA:mainfrom
marktech0813:fix/495-infty-unicode

Conversation

@marktech0813

Copy link
Copy Markdown
Contributor

Summary

  • Automated TinyRouter hunter fix for infty-unicode.
  • Includes CI helpers when needed (ruff pin / DROP leading-decimal).

Fixes #495

Test plan

  • CI green on this PR

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[bug] MATH grader: Unicode ∞ never equals \infty

1 participant