diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-13 16:12:32 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-13 16:12:32 -0400 |
| commit | d4ff8cfd8c9d1881cfc672a10d1f787e633fffaa (patch) | |
| tree | eb2eb61118004dcd8a77cda29986d4c9cde6fdd9 /mkdocs.yml | |
| parent | 70cbe8d5818ad63fad951d1b971e817acc9e76b1 (diff) | |
all functions return a task
Diffstat (limited to 'mkdocs.yml')
| -rw-r--r-- | mkdocs.yml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -18,7 +18,6 @@ nav: - Flag: 'type_system/flag.md' - Int: 'type_system/int.md' - Float: 'type_system/float.md' - - Option: 'type_system/option.md' - Result: 'type_system/result.md' - Lock: 'type_system/lock.md' - Tuple: 'type_system/tuple.md' @@ -30,6 +29,7 @@ nav: - Error: 'type_system/error.md' - Var: 'type_system/var.md' - Fn: 'type_system/fn.md' + - Task: 'type_system/task.md' - Overload: 'type_system/overload.md' - Value: 'type_system/value.md' - Name: 'type_system/name.md' |