From 7add85856a927766f218789aa946641228650c02 Mon Sep 17 00:00:00 2001 From: nodist Date: Mon, 6 Jul 2026 09:44:03 -0400 Subject: add IR ast --- mkdocs.yml | 1 + 1 file changed, 1 insertion(+) (limited to 'mkdocs.yml') diff --git a/mkdocs.yml b/mkdocs.yml index e3b4805..ee125c9 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -37,6 +37,7 @@ nav: - List: 'type_system/list.md' - Lock: 'type_system/lock.md' - Namespace: 'type_system/namespace.md' + - Ir: 'type_system/ir.md' - Application: - Runtime: 'application/index.md' - Interface: 'application/interface.md' -- cgit v1.2.3