@@ -28,6 +28,8 @@ New in 0.9.18:
28 choice, keeping the first success as Alternative does. The version that
28 choice, keeping the first success as Alternative does. The version that
29 collects successes is now a named instance.
29 collects successes is now a named instance.
30* :exec REPL command now takes an optional expression to compile and run/show
30* :exec REPL command now takes an optional expression to compile and run/show
31+* The return types of `Vect.findIndex`, `Vect.elemIndex` and
32+ `Vect.elemIndexBy` were changed from `Maybe Nat` to `Maybe (Fin n)`
32New in 0.9.17:
34New in 0.9.17:
33--------------
35--------------