1# usage:
 2# install `typos`: https://github.com/crate-ci/typos
 3# run: typos -c .github/workflows/typos.toml
 4
 5[default.extend-words]
 6ieal = "ideal"
 7iddeal = "ideal"
 8iddeals = "ideals"
 9allpha = "alpha"
10fieldd = "field"
11kernetl = "kernel"
12extenaion = "extension"
13
14# strings that are not a typo:
15thm = "thm"
16MSIS = "MSIS"
17
18# equations stuff
19ba = "ba"
20nd = "nd"
21
22# names
23Strang = "Strang"
24Pinter = "Pinter"
25Bootle = "Bootle"
26Groth = "Groth"