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/integers.md b/docs/integers.md
index d4e2fc3c..6e45f1be 100644
--- a/docs/integers.md
+++ b/docs/integers.md
@@ -361,7 +361,7 @@ An iterator function that counts onward from the starting integer.
 
 **Example:**  
 ```tomo
-nums := &[:Int]
+nums : &[Int] = &[]
 for i in 5:onward():
     nums:insert(i)
     stop if i == 10