docs: Document leading dot literals investigation and decision#6287

fabiomadge wants to merge 1 commit intomasterdafny-lang/dafny:masterfrom

leading-dot-investigationdafny-lang/dafny:leading-dot-investigationCopy head branch name to clipboard