diff options
Diffstat (limited to 'src/Language.hs')
| -rw-r--r-- | src/Language.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Language.hs b/src/Language.hs index c2b844e..a025236 100644 --- a/src/Language.hs +++ b/src/Language.hs @@ -88,8 +88,8 @@ idx0 = NEIdx0 (.!) = NEIdx1 infixl 9 .! -(!) :: KnownNat n => NExpr env (TArr n t) -> NExpr env (Tup (Replicate n TIx)) -> NExpr env t -(!) = NEIdx knownNat +(!) :: NExpr env (TArr n t) -> NExpr env (Tup (Replicate n TIx)) -> NExpr env t +(!) = NEIdx infixl 9 ! shape :: NExpr env (TArr n t) -> NExpr env (Tup (Replicate n TIx)) |