diff --git a/toy-impl/README.md b/toy-impl/README.md
index 37b4976..43cfec1 100644
--- a/toy-impl/README.md
+++ b/toy-impl/README.md
@@ -9,6 +9,7 @@ for simplicity reasons:
 * Most of the types, only the following types are implemented:
     * `int32`
     * `int64`
+    * `float`
     * `bool`
     * `list[T]`
     * `tuple[T1,...]`
@@ -24,3 +25,9 @@ These features are currently not implemented, and would be added in due course:
 * Type guards.
 
 
+## Type Check Implementation
+
+## Variable Scoping
+
+## Operator Override
+