From 43ddff2e7f1e9f4d8855f573384e26b63d34f697 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 14 May 2024 23:30:53 +0200 Subject: WIP GHC nats --- ox-arrays.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ox-arrays.cabal') diff --git a/ox-arrays.cabal b/ox-arrays.cabal index 0aa7001..df6a805 100644 --- a/ox-arrays.cabal +++ b/ox-arrays.cabal @@ -14,7 +14,7 @@ library build-depends: base >=4.18 && <4.20, ghc-typelits-knownnat, - -- ghc-typelits-natnormalise, + ghc-typelits-natnormalise, orthotope, vector hs-source-dirs: src -- cgit v1.2.3-70-g09d2