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/sets.md b/docs/sets.md
index 778740a3..740a37f3 100644
--- a/docs/sets.md
+++ b/docs/sets.md
@@ -21,7 +21,7 @@ nums := {10, 20, 30}
 Empty sets must specify the item type explicitly:
 
 ```tomo
-empty := {:Int}
+empty : {Int} = {}
 ```
 
 For type annotations, a set that holds items with type `T` is written as `{T}`.