From 942249a4aab941419c1519ab0e2990a727bf7778 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Tue, 6 Aug 2024 12:14:10 +0100
Subject: Define traversal kits.

---
 src/Inky/Erased.idr | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 src/Inky/Erased.idr

(limited to 'src/Inky/Erased.idr')

diff --git a/src/Inky/Erased.idr b/src/Inky/Erased.idr
new file mode 100644
index 0000000..05bb29e
--- /dev/null
+++ b/src/Inky/Erased.idr
@@ -0,0 +1,6 @@
+module Inky.Erased
+
+public export
+record Erased (t : Type) where
+  constructor Forget
+  0 val : t
-- 
cgit v1.2.3