chore: flake.lock update, bump plugin versions

Author: drupol

Diff for: flake.lock

@@ -107,6 +107,8 @@
             packages = (lib.attrValues scriptDrvs) ++ [
               typst
               pkgs.gnuplot
+              pkgs.tinymist
+              pkgs.typstyle
               config.packages.weasel
               config.packages.passive
               config.packages.dups

Diff for: flake.nix

@@ -155,9 +155,7 @@ necessitates an incremental investment of resources, time, and effort.
 
   #box[
     $
-      & forall e in E, forall e' in R(e), forall p in "par"(e), quad r(
-        e, p
-      ) eq r(e', p)
+      & forall e in E, forall e' in R(e), forall p in "par"(e), quad r( e, p ) eq r(e', p)
     $
   ]
 
@@ -964,9 +962,7 @@ An impure function is the opposite of the above definition of a pure function.
 
   Let $f: I times E → R$ be a function. Then $f$ is *impure* if and only if:
 
-  $forall i in I, exists e_1, e_2 in E, quad "eval"(f,i,e_1) eq.not "eval"(
-      f,i,e_2
-    )$
+  $forall i in I, exists e_1, e_2 in E, quad "eval"(f,i,e_1) eq.not "eval"( f,i,e_2 )$
 
   where
   - $I$ is the set of all possible inputs arguments
@@ -1089,9 +1085,7 @@ consistently obtain identical results across multiple runs of a computation.
 
   #box[
     $
-      & forall c in C, forall i in I, forall e_1, e_2 in E, quad "eval"(
-        c, i, e_1
-      ) eq "eval"(c, i, e_2)
+      & forall c in C, forall i in I, forall e_1, e_2 in E, quad "eval"( c, i, e_1 ) eq "eval"(c, i, e_2)
     $
   ]
 
@@ -1751,7 +1745,9 @@ First, we compile the sourcecode twice, creating `build1` and `build2`:
 Then, we use `diffoscope` to compare these builds:
 
 #figure(
-  shell(file: "../../../resources/sourcecode/bash/bash-diffoscope-comparison.log"),
+  shell(
+    file: "../../../resources/sourcecode/bash/bash-diffoscope-comparison.log",
+  ),
 ) <bash-diffoscope-comparison>
 
 The tool will generate a detailed report (@diffoscope-report) highlighting the

Diff for: src/thesis/2-reproducibility.typ

@@ -1,10 +1,9 @@
-#import "@preview/diagraph:0.3.0": *
+#import "@preview/diagraph:0.3.1": *
 #import "@preview/codly:1.2.0": *
-#import "@preview/codly-languages:0.1.4": *
-#import "@preview/glossarium:0.5.1": make-glossary, register-glossary, print-glossary, gls, glspl
-#show: make-glossary
+#import "@preview/codly-languages:0.1.6": *
+#import "@preview/glossarium:0.5.2": make-glossary, register-glossary, print-glossary, gls, glspl
 #import "@preview/xarrow:0.3.1": xarrow, xarrowSquiggly, xarrowTwoHead
 #import "@preview/hydra:0.5.2": *
-#import "@preview/cetz:0.3.1"
+#import "@preview/cetz:0.3.2"
 #import "colors.typ": *
 #import "workarounds.typ": *

Diff for: src/thesis/imports/preamble.typ

@@ -1,5 +1,5 @@
 #import "@preview/codly:1.2.0": *
-#import "@preview/codly-languages:0.1.4": *
+#import "@preview/codly-languages:0.1.6": *
 #import "../theme/common/metadata.typ": *
 
 #let sourcefile(file: none, lang: none) = {

Diff for: src/thesis/imports/workarounds.typ

@@ -19,6 +19,8 @@
   ),
 )
 
+#show: make-glossary
+
 #show: project.with(
   title: title,
   university: university,
@@ -114,7 +116,7 @@
       long: "Integrated Development Environment",
       plural: "IDEs",
       longplural: "Integrated Development Environments",
-      desc: [An integrated development environment is a software application that provides comprehensive facilities to computer programmers for software development.],
+      description: [An integrated development environment is a software application that provides comprehensive facilities to computer programmers for software development.],
     ),
     (
       key: "IEEE",