1 files changed, 17 insertions, 23 deletions
diff --git a/doc/il.txt b/doc/il.txt
index 53ab4ee..8dfa295 100644
--- a/doc/il.txt
+++ b/doc/il.txt
@@ -7,38 +7,37 @@
 - Table of Contents
 -------------------
 
-  0. Basic Concepts
-      * Sigils
-      * Undefined Behavior
-  1. Types
-      * Simple Types
-      * Subtyping
-  2. Definitions
-      * Aggregate Types
-      * Data
-      * Functions
-  3. Control
+  1. <@ Basic Concepts >
+      * <@ Sigils >
+  2. <@ Types >
+      * <@ Simple Types >
+      * <@ Subtyping >
+  3. <@ Definitions >
+      * <@ Aggregate Types >
+      * <@ Data >
+      * <@ Functions >
+  4. Control
       * Blocks
       * Instructions
       * Jumps
-  4. Immediate Constants
+  5. Immediate Constants
       * Semantics
       * Floating Sugar
-  5. Integer Instructions
+  6. Integer Instructions
       * Arithmetic
       * Memory
       * Comparisons
-  6. Floating Point Instructions
+  7. Floating Point Instructions
       * Arithmetic
       * Memory
       * Comparisons
-  7. Special Instructions
+  8. Special Instructions
       * Conversions and Extensions
       * Casts
       * Phis
 
 
-- 0. Basic Concepts
+- 1. Basic Concepts
 -------------------
 
 ~ Sigils
@@ -52,13 +51,8 @@ scope and kind of an identifier.
  * `$` File-scope symbols.
  * `%` Function-scope temporaries.
 
-~ Undefined Behavior
-~~~~~~~~~~~~~~~~~~~~
 
-TODO
-
-
-- 1. Types
+- 2. Types
 ----------
 
 ~ Simple Types
@@ -102,7 +96,7 @@ value could very well be zeroes or the result of a sign
 extension of the word.
 
 
-- 2. Definitions
+- 3. Definitions
 ----------------
 
 An IL file is composed of a sequence of top-level definitions.