Motoko Version
The release of Motoko documented here, currently 0.13.3, may be a few versions ahead of the Motoko compiler that is shipped with dfx.
You can, however, instruct dfx
to use a newer version of Motoko than the one
it shipped with.
Consult the forum for vessel or the mops documentation for details.