The Crash Course material on naming modules is apparently out of date. It does not mention that identifiers in module names must be capitalized (I used UK spelling in my revision), or that they must match the filename path.
Should this change go in the CHANGELOG?
[ ] If this is a fix, user-facing change, a compiler change, or a new paper
implementation, I have updated CHANGELOG_NEXT.md (and potentially also
CONTRIBUTORS.md).
Description
The Crash Course material on naming modules is apparently out of date. It does not mention that identifiers in module names must be capitalized (I used UK spelling in my revision), or that they must match the filename path.
Should this change go in the CHANGELOG?
CHANGELOG_NEXT.md
(and potentially alsoCONTRIBUTORS.md
).