M .github/workflows/typos.toml → .github/workflows/typos.toml

@@ -13,6 +13,7 @@ extenaion = "extension"
 
 # strings that are not a typo:
 thm = "thm"
+MSIS = "MSIS"
 
 # equations stuff
 ba = "ba"

M lattices.pdf → lattices.pdf

M lattices.tex → lattices.tex

@@ -17,7 +17,7 @@ year = {2016}
 }
 @misc{matan,
   author = {Matan Prasma},
-  title = {{Lattices, an elementary and rigurous account}},
+  title = {{Lattices, an elementary and rigorous account}},
   year = {2024}
 }
 @misc{slides-micciano,