summaryrefslogtreecommitdiff
path: root/inky.ipkg
diff options
context:
space:
mode:
authorGreg Brown <greg.brown01@ed.ac.uk>2024-08-14 15:06:30 +0100
committerGreg Brown <greg.brown01@ed.ac.uk>2024-08-14 19:04:40 +0100
commit18547332435c0e33106763daa9d8532c9df09115 (patch)
treeda6a36d970007f621ea63250c7920fe12a21882d /inky.ipkg
parent942249a4aab941419c1519ab0e2990a727bf7778 (diff)
Define environments over worlds.
Diffstat (limited to 'inky.ipkg')
-rw-r--r--inky.ipkg1
1 files changed, 1 insertions, 0 deletions
diff --git a/inky.ipkg b/inky.ipkg
index 5fc47ba..39a75c3 100644
--- a/inky.ipkg
+++ b/inky.ipkg
@@ -6,5 +6,6 @@ options = "--total"
modules
= Inky.Binding
+ , Inky.Env
, Inky.Erased
, Inky.Kit