Skip to content

Commit 56f9546

Browse files
committed
Add MeTTa specification onto repository documentation page
1 parent deaff7d commit 56f9546

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

mkdocs.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -132,7 +132,8 @@ markdown_extensions:
132132
# Page tree
133133
nav:
134134
- Home: index.md
135-
- Minimal Metta: minimal-metta.md
135+
- MeTTa specification: metta.md
136+
- Minimal Metta specification: minimal-metta.md
136137
- MeTTa modules: modules_dev.md
137138
- DAS setup: das_setup.md
138139
- Rust API Reference: ./rust/hyperon/index.html

0 commit comments

Comments
 (0)