1 files changed, 32 insertions, 21 deletions
diff --git a/docs/SUMMARY.md b/docs/SUMMARY.md
index 8a4a530..d26c2aa 100644
--- a/docs/SUMMARY.md
+++ b/docs/SUMMARY.md
@@ -4,18 +4,24 @@
 
 - [Basic Usage](OVERVIEW.md)
   - [Variables and Comments]()
+  - [Functions and Indentation]()
+  - [Uniform Function Call Syntax]()
   - [Basic Types]()
-  - [Functions and Calls]()
-  - [Boolean and Integer Operations]()
-  - [Conditionals and Control Flow]()
+  - [Conditionals and Pattern Matching]()
   - [Error Handling]()
-  - [Loops and Iterators]()
-  - [Modules]()
+  - [Blocks and Loops]()
+  - [Module System]()
   - [Compile-time Programming]()
-  - [Async and Threading]()
-  - [Advanced Types]()
+  - [Async System and Threading]()
+  - [Memory Management]()
+  - [Types System]()
+  - [Structs and Tuples]()
+  - [Unions and Enums]()
+  - [Classes]()
 - [Syntax](SYNTAX.md)
-  - [Indentation Rules [todo]]()
+  - [Call Syntax]()
+  - [Indentation Rules]()
+  - [Expression Rules]()
   - [Reserved Keywords]()
   - [A Formal Grammar]()
 - [Type System](TYPES.md)
@@ -25,25 +31,30 @@
   - [Abstract Types]()
   - [Advanced Types]()
 - [Module System](MODULES.md)
-  - [Using Modules]()
-  - [Implicit Modules]()
-  - [Defining Module Interfaces [todo]]()
-  - [Defining an External API [todo]]()
+  - [What are modules?]()
+  - [Using modules]()
+  - [Implicit modules]()
+  - [Defining interfaces [todo]]()
+  - [Defining an external API [todo]]()
+- [Memory Management [todo]](MEMORY_MANAGEMENT.md)
+- [Metaprogramming](METAPROGRAMMING.md)
+  - [Scope]()
+  - [Usage]()
+  - [Quoting [todo]]()
 - [Error Handling](ERRORS.md)
-  - [Errors as Monads]()
-  - [Errors as Catchable Exceptions]()
-  - [Errors and Void Functions [todo]]()
+  - [Errors as monads]()
+  - [Errors as checked exceptions]()
+  - [Errors as effects [todo]]()
   - [Unrecoverable Exceptions]()
 - [Async System](ASYNC.md)
+  - [Effects System [todo]]()
   - [Threading [todo]]()
-- [Metaprogramming](METAPROGRAMMING.md)
-- [Memory Management [todo]]()
-  - [Reference Counting Optimizations]()
-  - [Annotations and Ownership]()
 - [Language Interop [draft]](INTEROP.md)
-  - [Rust, Swift, Nim]()
+  - [Rust]()
+  - [Swift, Nim]()
   - [Java, Kotlin]()
   - [Python, Racket, C]()
+- [Effects System [draft]]()
 - [Refinement Types [draft]]()
 - [Dependent Types [draft]]()
-- [Effects System [draft]]()
+- [Examples](EXAMPLES.md)