Update spec regarding "Package" behaviour
Opened this issue · 1 comments
ss2165 commented
follow up from #1358
Specification needs to be updated to describe what a package is and how it can be well-formed (valid)
aborgna-q commented
Regarding the packed extensions, we should define that prelude and the std extensions do not need to be included.
The std extensions are listed on the spec. (A bit late for this, but it'd have been nice if the extension names started with std.)