From c71cd186644570eb25c45ded7837b0e7aa54987a Mon Sep 17 00:00:00 2001 From: nodist Date: Thu, 21 May 2026 15:26:56 -0400 Subject: int and float under bits type --- mkdocs.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'mkdocs.yml') diff --git a/mkdocs.yml b/mkdocs.yml index dce1970..147e78f 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -13,8 +13,7 @@ nav: - Alias: 'type_system/alias.md' - Unique: 'type_system/unique.md' - Enum: 'type_system/enum.md' - - Int: 'type_system/int.md' - - Float: 'type_system/float.md' + - Bits: 'type_system/bits.md' - Tuple: 'type_system/tuple.md' - Buffer: 'type_system/buffer.md' - Map: 'type_system/map.md' -- cgit v1.2.3