summaryrefslogtreecommitdiff
path: root/docs/type_system/index.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/type_system/index.md')
-rw-r--r--docs/type_system/index.md32
1 files changed, 11 insertions, 21 deletions
diff --git a/docs/type_system/index.md b/docs/type_system/index.md
index 8ef6b83..4cc3586 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -1,7 +1,13 @@
-# Templates
+# Types
+
+* #### [Alias](./alias.md)
+
+* #### [Unique](./unique.md)
---
+# Templates
+
A template is an incomplete type
```text
@@ -40,18 +46,10 @@ Denotes that a field that does not resolve to anything
* #### [Tuple](./tuple.md)
-* #### [Table](./table.md)
-
* #### [Buffer](./buffer.md)
-* #### [Array](./array.md)
-
-* #### [Vector](./vector.md)
-
* #### [Map](./map.md)
-* #### [Set](./set.md)
-
* #### [Queue](./queue.md)
* #### [Union](./union.md)
@@ -62,32 +60,24 @@ Denotes that a field that does not resolve to anything
## Function Templates
+* #### [Regex](./regex.md)
+
* #### [Var](./var.md)
* #### [Fn](./fn.md)
-* #### [State](./state.md)
-
-* #### [Regex](./regex.md)
+* #### [Overload](./overload.md)
## AST Templates
-* #### [Namespace](./namespace.md)
-
-* #### [Token](./token.md)
-
* #### [Value](./value.md)
-* #### [Clause](./clause.md)
-
* #### [Name](./name.md)
-* #### [Define](./define.md)
-
* #### [Symbol](./symbol.md)
* #### [Op](./op.md)
* #### [List](./list.md)
-* #### [Action](./action.md)
+* #### [Namespace](./namespace.md)