From 33928a00dc58250e24da1dae4e5db17e7b598d70 Mon Sep 17 00:00:00 2001
From: Laurenz <laurmaedje@gmail.com>
Date: Thu, 3 Nov 2022 16:50:26 +0100
Subject: Tidy up library

---
 tests/typ/math/basic.typ | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 tests/typ/math/basic.typ

(limited to 'tests/typ/math/basic.typ')

diff --git a/tests/typ/math/basic.typ b/tests/typ/math/basic.typ
deleted file mode 100644
index 55a853cf..00000000
--- a/tests/typ/math/basic.typ
+++ /dev/null
@@ -1,20 +0,0 @@
-// Test math formulas.
-
----
-The sum of $a$ and $b$ is $a + b$.
-
----
-We will show that:
-$ a^2 + b^2 = c^2 $
-
----
-Prove by induction:
-$ sum_(k=0)^n k = (n(n+1))/2 $
-
----
-// Test that blackboard style looks nice.
-$ f: NN arrow RR $
-
----
-// Error: 1:3 expected dollar sign
-$a
-- 
cgit v1.2.3