Proposal for core and standard modules:
-
Every identifier and syntax keyword defined in the core (that is, not as part of any module) MUST be provided by every conformant implementation.
-
Conformant implementations MAY provide any standard module, and SHOULD provide all of them.
-
Every conformant implementation that provides a standard module MUST provide the whole module.
See also ReplSemanticsCowan.