tidy imports

joelberkeley · Jun 23, 2022 · 01bd868 · 01bd868
1 parent 22c0fee
commit 01bd868
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Distribution.idr b/src/Distribution.idr
@@ -18,9 +18,10 @@ module Distribution
 
 import Control.Monad.State
 import Data.Nat
+
+import Constants
 import Literal
 import Tensor
-import Constants
 
 ||| A joint, or multivariate distribution over a tensor of floating point values, where the first
 ||| two central moments (mean and covariance) are known. Every sub-event is assumed to have the