ci: update to typst 0.13.0

Author: MultisampledNight

.github/workflows/compile-docs.yaml

@@ -25,12 +25,12 @@ jobs:
         uses: actions/cache@v4
         with:
           path: typst
-          key: linux-typst-0.12.0
+          key: linux-typst-0.13.0
       - name: Download typst if uncached
         if: steps.cache-typst.outputs.cache-hit != 'true'
         # will I remember to update this version? no
         run: |
-          curl -LO https://github.com/typst/typst/releases/download/v0.12.0/typst-x86_64-unknown-linux-musl.tar.xz
+          curl -LO https://github.com/typst/typst/releases/download/v0.13.0/typst-x86_64-unknown-linux-musl.tar.xz
           du -h typst-x86_64-unknown-linux-musl.tar.xz
           tar -xf typst-x86_64-unknown-linux-musl.tar.xz
           mv typst-x86_64-unknown-linux-musl/typst ./typst

doc/workflow.typ

@@ -398,7 +398,7 @@ Mathematically speaking, $P_*, S_*, D_*, U$ are sets.
 - $A or B$ means that any of $A$, $B$ or both must be true
   in order for the whole expression to be true.
 
-- $A sect B$ contains all tasks that are in *both* sets $A$ and $B$.
+- $A inter B$ contains all tasks that are in *both* sets $A$ and $B$.
 
 - $A union B$ contanis all tasks that are in *any* of the sets $A$ or $B$.
 
@@ -425,7 +425,7 @@ the accompanying conditional actions in its body.
 
 === Day ends
 
-$ forall t in P_d sect D_P : t -> P_S $
+$ forall t in P_d inter D_P : t -> P_S $
 
 === $P_S$ becomes too short, long or boring