mirror of
https://github.com/ruuda/rcl.git
synced 2025-12-23 04:47:19 +00:00
8cc1f263d8
I decided, after going through a few iterations of a blog post that explains the trade-offs, to have only a single Number type, and to remove Int. This is an invasive change, let's start with the docs because those are somewhat easier.
54 lines
1.5 KiB
YAML
54 lines
1.5 KiB
YAML
site_name: RCL
|
|
site_url: https://docs.ruuda.nl/rcl
|
|
repo_url: https://github.com/ruuda/rcl
|
|
strict: true
|
|
|
|
theme:
|
|
name: null
|
|
custom_dir: docs/theme
|
|
|
|
markdown_extensions:
|
|
- codehilite
|
|
- footnotes
|
|
- toc:
|
|
permalink: true
|
|
permalink_title: null
|
|
|
|
nav:
|
|
- "Overview": "index.md"
|
|
- "User guide":
|
|
- "Tutorial": "tutorial.md"
|
|
- "Installation": "installation.md"
|
|
- "Syntax highlighting": "syntax_highlighting.md"
|
|
- "Generating files": "generating_files.md"
|
|
- "Using Ninja": "using_ninja.md"
|
|
- "Changelog": "changelog.md"
|
|
- "Language guide":
|
|
- "Syntax": "syntax.md"
|
|
- "Strings": "strings.md"
|
|
- "Null": "null.md"
|
|
- "Imports": "imports.md"
|
|
- "Functions": "functions.md"
|
|
- "Types": "types.md"
|
|
- "Numbers": "numbers.md"
|
|
- "Glossary": "glossary.md"
|
|
- "Language reference":
|
|
- "Standard library": "stdlib.md"
|
|
- "Dict": "type_dict.md"
|
|
- "List": "type_list.md"
|
|
- "Number": "type_number.md"
|
|
- "Set": "type_set.md"
|
|
- "String": "type_string.md"
|
|
- "Python bindings": "python_bindings.md"
|
|
- "Command reference":
|
|
- "rcl": "rcl.md"
|
|
- "rcl build": "rcl_build.md"
|
|
- "rcl evaluate": "rcl_evaluate.md"
|
|
- "rcl format": "rcl_format.md"
|
|
- "rcl highlight": "rcl_highlight.md"
|
|
- "rcl query": "rcl_query.md"
|
|
- "Development":
|
|
- "About": "about.md"
|
|
- "Testing": "testing.md"
|
|
- "Grammars": "grammars.md"
|
|
- "Tree-sitter": "tree_sitter.md"
|