What's Changed
Toolchain and implementation changes 🛠️
- Remove declaration of function deleted in #4150. by @zygoloid in #4151
- Remove already-done no_prelude todo. by @jonmeow in #4148
- Use the package/library name in ImportIRId formatting. by @jonmeow in #4154
Full Changelog: v0.0.0-0.nightly.2024.07.20...v0.0.0-0.nightly.2024.07.23