From 5adc1ae9357e42937a601aab57d16b2190e10536 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Fri, 16 Jun 2023 15:06:59 +0100
Subject: Reset using only co-de Bruijn syntax.

---
 src/Type.idr | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 src/Type.idr

(limited to 'src/Type.idr')

diff --git a/src/Type.idr b/src/Type.idr
new file mode 100644
index 0000000..12c0a74
--- /dev/null
+++ b/src/Type.idr
@@ -0,0 +1,10 @@
+module Type
+
+infix 4 ~>
+
+public export
+data Ty : Type where
+  N : Ty
+  (~>) : Ty -> Ty -> Ty
+
+%name Ty ty
-- 
cgit v1.2.3