docstring

joelberkeley · Jul 20, 2022 · f1b3200 · f1b3200
1 parent c1e138f
commit f1b3200
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/Tensor.idr b/src/Tensor.idr
@@ -236,9 +236,7 @@ namespace MultiSlice
   slice {shape=(_ :: _)} (DynamicIndex _ :: xs) = slice xs
 
 ||| Slice or index `Tensor` axes. Each axis can either be sliced or indexed (or unaltered), and
-||| this can be done with either static (`Nat`) or dynamic (`Tensor [] U64`) indices. Static and
-||| dynamic slicing are specified in different ways. Slices, indices, static and dynamic can be
-||| mixed arbitrarily in any given call to `slice`.
+||| this can be done with either static (`Nat`) or dynamic (`Tensor [] U64`) indices.
 |||
 ||| **Static indices**
 |||