From 9f3c8b96e9ced1c64037008ec445931f4bfc326f Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Thu, 9 Jul 2026 23:37:22 +0200
Subject: [PATCH] chore: add justfile

---
 justfile | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 justfile

diff --git a/justfile b/justfile
new file mode 100644
index 0000000..f69655d
--- /dev/null
+++ b/justfile
@@ -0,0 +1,14 @@
+# Local Variables:
+# mode: makefile
+# End:
+set shell := ["bash", "-uc"]
+
+build-docs:
+  typst c --root . docs/manual.typ
+  typst c --root . docs/function_subtyping.typ
+
+tests:
+  uv run -m tests
+
+check-docstrings:
+  uv run scripts/docstring_checker.py