diff options
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' |