Skip to content

Fix repeated variable matching in TinyMaude#2

Open
sgoguen wants to merge 1 commit intomainfrom
codex/find-and-fix-a-bug-in-codebase
Open

Fix repeated variable matching in TinyMaude#2
sgoguen wants to merge 1 commit intomainfrom
codex/find-and-fix-a-bug-in-codebase

Conversation

@sgoguen
Copy link
Owner

@sgoguen sgoguen commented Jun 4, 2025

Summary

  • implement strict matching logic so repeated variables must bind to the same term

Testing

  • dotnet test (fails: dotnet not found)

https://chatgpt.com/codex/tasks/task_e_683fa689b6808322b3a96f0a9ef1f392

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

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant