First working compile of refactor to add explicit typing to declarations

and support untyped empty collections and `none`s

1 files changed, 1 insertions, 1 deletions

diff --git a/docs/arrays.md b/docs/arrays.md
index e3da6e0e..437ab76f 100644
--- a/docs/arrays.md
+++ b/docs/arrays.md
@@ -18,7 +18,7 @@ you want to have an empty array, you must specify what type goes inside the arra
 like this:
 
 ```tomo
-empty := [:Int]
+empty : [Int] = []
 ```
 
 For type annotations, an array that holds items with type `T` is written as `[T]`.