From da2278e3905269da3727d3eb7e50d4f8eee9d715 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sat, 30 Sep 2023 18:31:56 +0200
Subject: [PATCH] add fail.quox to all.quox

---
 examples/all.quox | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/all.quox b/examples/all.quox
index e95a025..5290e84 100644
--- a/examples/all.quox
+++ b/examples/all.quox
@@ -6,3 +6,4 @@ load "nat.quox"
 load "pair.quox"
 load "list.quox"
 load "eta.quox"
+load "fail.quox"