Added typstyle action

.github/workflows/lints.yml

@@ -13,3 +13,18 @@ jobs:
         uses: crate-ci/typos@master
         with:
           config: ./tools/typos.toml
+
+  typstyle:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: "Download Typstyle"
+        run: |
+          wget -q "https://github.com/Enter-tainer/typstyle/releases/download/v0.12.14/typstyle-x86_64-unknown-linux-musl"
+          chmod +x typstyle-x86_64-unknown-linux-musl
+
+      - name: Check typst formatting
+        run: |
+          find . -type f -print0 | xargs -0 \
+            ./typstyle-x86_64-unknown-linux-musl --check

src/Advanced/Tropical Polynomials/parts/01 polynomials.typ

@@ -76,7 +76,13 @@ Draw a graph of the tropical polynomial $f(x) = x^2 #tp 1x #tp 4$. \
     dotline((0, 1 * step), (7 * step, 8 * step))
     dotline((0, 4 * step), (8 * step, 4 * step))
 
-    line((0, 0), (1 * step, 2 * step), (3 * step, 4 * step), (7.5 * step, 4 * step), stroke: 1mm + oblue)
+    line(
+      (0, 0),
+      (1 * step, 2 * step),
+      (3 * step, 4 * step),
+      (7.5 * step, 4 * step),
+      stroke: 1mm + oblue,
+    )
   })
 ])
 
@@ -138,7 +144,13 @@ Graph $f(x) = -2x^2 #tp x #tp 8$. \
     dotline((0.5 * step, 0), (4 * step, 8 * step))
     dotline((0, 4 * step), (8 * step, 4 * step))
 
-    line((0.5 * step, 0), (1 * step, 1 * step), (4 * step, 4 * step), (7.5 * step, 4 * step), stroke: 1mm + oblue)
+    line(
+      (0.5 * step, 0),
+      (1 * step, 1 * step),
+      (4 * step, 4 * step),
+      (7.5 * step, 4 * step),
+      stroke: 1mm + oblue,
+    )
   })
 ])
 
@@ -212,7 +224,12 @@ Graph $f(x) = 1x^2 #tp 3x #tp 5$.
     dotline((0, 5 * step), (8 * step, 5 * step))
     dotline((0, 3 * step), (5 * step, 8 * step))
 
-    line((0, 1 * step), (2 * step, 5 * step), (7.5 * step, 5 * step), stroke: 1mm + oblue)
+    line(
+      (0, 1 * step),
+      (2 * step, 5 * step),
+      (7.5 * step, 5 * step),
+      stroke: 1mm + oblue,
+    )
   })
 ])
 
@@ -256,7 +273,12 @@ Graph $f(x) = 2x^2 #tp 4x #tp 4$.
     dotline((0, 4 * step), (5 * step, 8 * step))
     dotline((0, 4 * step), (8 * step, 4 * step))
 
-    line((0, 2 * step), (1 * step, 4 * step), (7.5 * step, 4 * step), stroke: 1mm + oblue)
+    line(
+      (0, 2 * step),
+      (1 * step, 4 * step),
+      (7.5 * step, 4 * step),
+      stroke: 1mm + oblue,
+    )
   }),
 )