tidy

joelberkeley · Jun 23, 2022 · 22c0fee · 22c0fee
1 parent 10ff876
commit 22c0fee
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 5 deletions.
diff --git a/src/Distribution.idr b/src/Distribution.idr
@@ -83,7 +83,7 @@ Distribution Gaussian where
 ||| **NOTE** `cdf` is implemented only for univariate `Gaussian`.
 export
 ClosedFormDistribution [1] Gaussian where
-  sample {n} (MkGaussian {d} mean cov) key =
+  sample (MkGaussian mean cov) key =
     pure $ expand 2 $ (broadcast mean + cholesky (squeeze cov) @@ !(normal key)).T
 
   pdf (MkGaussian {d} mean cov) x =

diff --git a/src/Tensor.idr b/src/Tensor.idr
@@ -1262,10 +1262,7 @@ inf = fromDouble (1.0 / 0.0)
 ||| @bound A bound of the samples. See full docstring for details.
 ||| @bound' A bound of the samples. See full docstring for details.
 export
-uniform :
-  {shape : _} ->
-  (bound, bound' : Tensor shape F64) ->
-  Rand (Tensor shape F64)
+uniform : {shape : _} -> (bound, bound' : Tensor shape F64) -> Rand (Tensor shape F64)
 uniform bound bound' (MkTensor keyGraph key) =
   let MkTensor minvalGraph minval = min bound bound'
       MkTensor maxvalGraph maxval = max bound bound'