diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-02-11 00:11:53 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-02-15 11:06:40 +0100 |
| commit | e6c20868375d2b7f6b31808844e1b48f78bca069 (patch) | |
| tree | 5e3c3efa5c61eb11a28b486bccbbcac823a36614 /ox-arrays.cabal | |
| parent | c705bb4cf76d2e80f3e9ed900f901b697b378f79 (diff) | |
WIP half-peano SNatspeano-snat
Diffstat (limited to 'ox-arrays.cabal')
| -rw-r--r-- | ox-arrays.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
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: |