[M1-4] Add docs/STYLE.md#287

williamdemeo merged 3 commits into

masterualib/agda-algebras:masterfrom

253-m1-4-project-style-guideualib/agda-algebras:253-m1-4-project-style-guideCopy head branch name to clipboard