function types

1 files changed, 9 insertions, 2 deletions

diff --git a/docs/type_system/function.md b/docs/type_system/function.md
index 76430a5..129411c 100644
--- a/docs/type_system/function.md
+++ b/docs/type_system/function.md
@@ -76,6 +76,10 @@ Invoked regular expression matcher
 
 # Returning
 
+## Return Type Inference
+
+If a return type is not specified it is inferred a type checking time
+
 ## \`return
 
 The return operation type is Void with the `%return` qualifier
@@ -83,7 +87,6 @@ The return operation type is Void with the `%return` qualifier
 ```text
 %return Void
 ```
-
 This qualifier is used when type checking branches that should return value, indicating this branch is valid
 
 ## Transient Union Return Chaining
@@ -97,7 +100,7 @@ Yielding wraps the value in the transient union `Iteration`
 Return `Void` to stop iteration
 
 ```text
-fn : ([n] @ 1 < n {[x] `yield 2 * x; n +: 1 } )
+fn : ([I64.n] @ 1 < n {[x] `yield 2 * x; n +: 1 } )
 it : fn `sync 10
 // invoking
 @ it {[v] `log v } // 2 4 6 8 10 12 14 16 18 20
@@ -136,3 +139,7 @@ fn `sync args // can be turned into `await fn `async args
 # Binding
 
 ## \`bind
+
+# Type Inference
+
+The argument types of anonymous functions passed as an argument can be inhered