From 97f51b4436ef9fd85214b0c316a87b4cef46f8f5 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Wed, 26 Apr 2023 02:47:02 +0200
Subject: [PATCH] all.quox

---
 examples/all.quox | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 examples/all.quox

diff --git a/examples/all.quox b/examples/all.quox
new file mode 100644
index 0000000..2ccb163
--- /dev/null
+++ b/examples/all.quox
@@ -0,0 +1,6 @@
+load "misc.quox"
+load "bool.quox"
+load "either.quox"
+load "nat.quox"
+load "pair.quox"
+load "list.quox"