From e6c20868375d2b7f6b31808844e1b48f78bca069 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 11 Feb 2025 00:11:53 +0100
Subject: WIP half-peano SNats

---
 ox-arrays.cabal | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ox-arrays.cabal')

diff --git a/ox-arrays.cabal b/ox-arrays.cabal
index 1253956..376107b 100644
--- a/ox-arrays.cabal
+++ b/ox-arrays.cabal
@@ -35,6 +35,7 @@ library
     Data.Array.Nested.Internal.Ranked
     Data.Array.Nested.Internal.Shape
     Data.Array.Nested.Internal.Shaped
+    Data.SNat.Peano
 
   if flag(trace-wrappers)
     exposed-modules:
-- 
cgit v1.2.3-70-g09d2