1# usage:
 2# install `typos`: https://github.com/crate-ci/typos
 3# run: typos -c .github/workflows/typos.toml
 4
 5[default.extend-words]
 6iddeal = "ideal"
 7iddeals = "ideals"
 8allpha = "alpha"
 9
10# strings that are not a typo:
11thm = "thm"
12
13# equations stuff
14ba = "ba"
15nd = "nd"
16
17# names
18Strang = "Strang"
19Bootle = "Bootle"