From 6bb1fc3b9592bbfd53770c1c04140af30ddd5120 Mon Sep 17 00:00:00 2001 From: nodist Date: Tue, 19 May 2026 12:38:35 -0400 Subject: put operators into its own file --- mkdocs.yml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'mkdocs.yml') diff --git a/mkdocs.yml b/mkdocs.yml index d595a1d..8ccc612 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -7,9 +7,7 @@ nav: - Main: 'index.md' - Syntax: - Code: 'syntax/index.md' - - Define: 'syntax/define.md' - - Cast: 'syntax/cast.md' - - Print: 'syntax/print.md' + - Operators: 'syntax/operators.md' - Type System: - Templates: 'type_system/index.md' - Alias: 'type_system/alias.md' -- cgit v1.2.3