plutus
plutus copied to clipboard
UCaseOfCase Translation Relation
Pre-submit checklist:
- Branch
- [x] Commit sequence broadly makes sense
- [x] Key commits have useful messages
- [x] Changelog fragments have been written (if appropriate)
- [x] Relevant tickets are mentioned in commit messages
- PR
- [x] Targeting master unless this is a cherry-pick backport
- [x] Self-reviewed the diff
- [x] Useful pull request description
- [x] Reviewer requested
Fixes #5916