Add style-guide note about local suffix#2109

MatthewDaggitt merged 1 commit intomasteragda/agda-stdlib:masterfrom

map-relative-documentationagda/agda-stdlib:map-relative-documentationCopy head branch name to clipboard