From df84bb5c89773d380ec72b81a46d4776cff38534 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Mon, 5 Aug 2024 16:49:25 +0100
Subject: Define nominal, painless binding.

---
 src/Inky.idr | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 src/Inky.idr

(limited to 'src/Inky.idr')

diff --git a/src/Inky.idr b/src/Inky.idr
deleted file mode 100644
index c501caf..0000000
--- a/src/Inky.idr
+++ /dev/null
@@ -1 +0,0 @@
-module Inky
-- 
cgit v1.2.3