wip

Author: joelberkeley

tutorials/BayesianOptimization.md

@@ -75,8 +75,8 @@ model = let mkGP = \len => MkGP zero (matern52 1.0 $ squeeze len)
 then optimize over the marginal mean
 
 ```idris
-optimizer : Optimizer $ Tensor [1, 2] F64
-optimizer = let gs = gridSearch (fromLiteral [100, 100]) (fromLiteral [0.0, 0.0]) (fromLiteral [1.0, 1.0])
+optimizer : Optimizer [1, 2]
+optimizer = let gs = gridSearch [100, 100] (fromLiteral [0.0, 0.0]) (fromLiteral [1.0, 1.0])
              in \f => broadcast . gs $ f . broadcast
 
 newPoint : Tensor [1, 2] F64