Style guide: guideline for -Reasoning module imports cf #2282#2309

MatthewDaggitt merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:style-guide-reasoningjamesmckinna/agda-stdlib:style-guide-reasoningCopy head branch name to clipboard