From 819784fd67ecafa207a492db05377c2985018179 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Sat, 2 Aug 2025 16:30:15 +0200
Subject: [PATCH] Add very basic whiteprint typst module

---
 whiteprint.typ | 71 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 71 insertions(+)
 create mode 100644 whiteprint.typ

diff --git a/whiteprint.typ b/whiteprint.typ
new file mode 100644
index 0000000..39e50f2
--- /dev/null
+++ b/whiteprint.typ
@@ -0,0 +1,71 @@
+#import "@preview/diagraph:0.3.5"
+#import "@preview/theorion:0.4.0"
+
+// Custom corollary that is at the same counter depth as theorems etc.
+#let (
+  _corollary-counter,
+  _corollary-box,
+  _corollary,
+  _show-corollary,
+) = theorion.make-frame(
+  "corollary",
+  theorion.theorion-i18n-map.at("corollary"),
+  counter: theorion.theorem-counter,
+  render: theorion.render-fn,
+)
+
+#let init-whiteprint(body) = {
+  // Set up theorion
+  show: theorion.show-theorion
+  show: _show-corollary
+  theorion.set-inherited-levels(1)
+
+  set par(justify: true)
+  set heading(
+    numbering: "1.1",
+    supplement: it => if it.depth == 1 [Chapter] else [Section],
+  )
+  show link: set text(fill: blue.darken(20%))
+
+  body
+}
+
+#let _elem-fns = (
+  "definition": theorion.definition,
+  "theorem": theorion.theorem,
+  "lemma": theorion.lemma,
+  "corollary": _corollary,
+)
+
+#let _elem(
+  kind: none,
+  title: "",
+  lean: none,
+  uses: (),
+  statement,
+  ..args,
+) = {
+  assert(type(kind) == str)
+  assert(type(lean) == label)
+  assert(type(uses) == array)
+  for use in uses { assert(type(use) == label) }
+
+  assert(args.pos().len() <= 1)
+  let proof = args.pos().at(0, default: none)
+
+  context [
+    #metadata((
+      kind: kind,
+      title: title,
+      lean: lean,
+      uses: uses,
+    )) <whiteprint-metadata>
+    #_elem-fns.at(kind)(title: title, statement) #lean
+    #if proof != none { theorion.proof(proof) }
+  ]
+}
+
+#let definition = _elem.with(kind: "definition")
+#let theorem = _elem.with(kind: "theorem")
+#let lemma = _elem.with(kind: "lemma")
+#let corollary = _elem.with(kind: "corollary")