Trailing whitespace 4. Headings 1. ATX-style headings 2. Add spacing to headings 5. Lists 1. Use lazy numbering for long lists 2. Nested list spacing 6. Code 1. Inline 2. Codeblocks 3. Declare the language DO NOT DO THIS. --------- Add spacing to headings Prefer spacing after # and newlines before and after: ...text before. # Heading 1 Text after... Lack of spacing makes it a little harder to read fully numbered lists, because it’s nicer to read in source: 1. Foo. 2. Bar. 3. Baz. Nested list spacing When nesting lists, use a 4 space indent for both numbered and bulleted lists: 1. 2 spaces after

in double curly braces {{ }}, e.g. {{x : T}}. Alternatively they can be en- closed, with proper spacing, e.g. x : T , in the unicode braces (U+2983 and U+2984, which can be typed as \{{ and \}} in the directory into the working directory (and thus made available to the latex environment). Colors, fonts, spacing etc can be modified by editing agda.sty and putting it somewhere where the latex environment can

enclosed in double curly braces {{ }}, e.g. {{x : T}}. Alternatively they can be enclosed, with proper spacing, e.g. ⦃ x : T ⦄, in the unicode braces ⦃ ⦄ (U+2983 and U+2984, which can be typed as \{{ and \}} directory into the working directory (and thus made available to the latex environment). Colors, fonts, spacing etc can be modified by editing agda.sty and putting it somewhere where the latex environment can

enclosed in double curly braces {{ }}, e.g. {{x : T}}. Alternatively they can be enclosed, with proper spacing, e.g. ⦃ x : T ⦄, in the unicode braces ⦃ ⦄ (U+2983 and U+2984, which can be typed as \{{ and \}} directory into the working directory (and thus made available to the latex environment). Colors, fonts, spacing etc can be modified by editing agda.sty and putting it somewhere where the latex environment can

in double curly braces {{ }}, e.g. {{x : T}}. Alternatively they can be en- closed, with proper spacing, e.g. x : T , in the unicode braces (U+2983 and U+2984, which can be typed as \{{ and \}} in the directory into the working directory (and thus made available to the latex environment). Colors, fonts, spacing etc can be modified by editing agda.sty and putting it somewhere where the latex environment can

in double curly braces {{ }}, e.g. {{x : T}}. Alternatively they can be en- closed, with proper spacing, e.g. x : T , in the unicode braces (U+2983 and U+2984, which can be typed as \{{ and \}} in the directory into the working directory (and thus made available to the latex environment). Colors, fonts, spacing etc can be modified by editing agda.sty and putting it somewhere where the latex environment can

enclosed in double curly braces {{ }}, e.g. {{x : T}}. Alternatively they can be enclosed, with proper spacing, e.g. ⦃ x : T ⦄, in the unicode braces ⦃ ⦄ (U+2983 and U+2984, which can be typed as \{{ and \}} directory into the working directory (and thus made available to the latex environment). Colors, fonts, spacing etc can be modified by editing agda.sty and putting it somewhere where the latex environment can

in double curly braces {{ }}, e.g. {{x : T}}. Alternatively they can be en- closed, with proper spacing, e.g. x : T , in the unicode braces (U+2983 and U+2984, which can be typed as \{{ and \}} in the directory into the working directory (and thus made available to the latex environment). Colors, fonts, spacing etc can be modified by editing agda.sty and putting it somewhere where the latex environment can

enclosed in double curly braces {{ }}, e.g. {{x : T}}. Alternatively they can be enclosed, with proper spacing, e.g. ⦃ x : T ⦄, in the unicode braces ⦃ ⦄ (U+2983 and U+2984, which can be typed as \{{ and \}} directory into the working directory (and thus made available to the latex environment). Colors, fonts, spacing etc can be modified by editing agda.sty and putting it somewhere where the latex environment can

Letter, Modifier | OtherLetter Lo: Letter, Other | NonSpacingMark Mn: Mark, Non-Spacing | SpacingCombiningMark Mc: Mark, Spacing Combining | EnclosingMark Me: Mark, Enclosing | DecimalNumber Nd: Number, Decimal