diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-07 14:23:02 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-07 14:23:02 -0400 |
| commit | f00fe3aaca06fb652ae51f44ce82289a4c3ccd5b (patch) | |
| tree | 8d974e32c9f4d101a44b1d9c446a6f26d0e780a1 /mkdocs.yml | |
| parent | 5c995c76246868bda0c81b1b9c3d1b7c2cdde41a (diff) | |
type representation
Diffstat (limited to 'mkdocs.yml')
| -rw-r--r-- | mkdocs.yml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -12,6 +12,7 @@ nav: - Alias: 'type_system/alias.md' - Unique: 'type_system/unique.md' - Enum: 'type_system/enum.md' + - Flag: 'type_system/flag.md' - Int: 'type_system/int.md' - Float: 'type_system/float.md' |
