From 18547332435c0e33106763daa9d8532c9df09115 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Wed, 14 Aug 2024 15:06:30 +0100
Subject: Define environments over worlds.

---
 src/Inky/Kit.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/Inky/Kit.idr b/src/Inky/Kit.idr
index d7dc286..a601a3f 100644
--- a/src/Inky/Kit.idr
+++ b/src/Inky/Kit.idr
@@ -1,6 +1,6 @@
 module Inky.Kit
 
-import Control.Monad.Identity
+import public Control.Monad.Identity
 import Inky.Binding
 import Inky.Erased
 
-- 
cgit v1.2.3