weed

vmchale · Feb 20, 2025 · 27dd3e6 · 27dd3e6
1 parent f1078f1
commit 27dd3e6
Showing 1 changed file with 2 additions and 7 deletions.
diff --git a/src/E.hs b/src/E.hs
@@ -1,22 +1,17 @@
 module E ( D (..), L (..)
-         , nz, ni1, nzSh, n1, nec
+         , nz, nzSh, n1, nec
          , pr, pr1, pc, psh
          , (#*)
          ) where
 
 import           Sh
 
-nz, ni1 :: I a -> D
+nz :: I a -> D
 nz (Ix _ i) | i>0 = S
 nz (StaPlus _ i j) = nz i#|nz j
 nz (StaMul _ i j) = nz i#*nz j
 nz _ = Z
 
-ni1 (Ix _ i) | i>1 = S
-ni1 (StaPlus _ i j) = ni1 i#|ni1 j
-ni1 (StaMul _ i j) = nz i#*ni1 j #| ni1 i#*nz j
-ni1 _ = Z
-
 ip1 :: I a -> L
 ip1 (Ix x i) | i>0 = ip (Ix x (i-1))
 ip1 (StaPlus x i (Ix x0 i0)) | i0>0 = ip (StaPlus x i (Ix x0 (i0-1)))