From 0a32a8eeb98d5f3507edf5e303ae655f4b923c74 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Thu, 2 Dec 2021 22:24:21 +0100
Subject: Updating the documentation to match changes in Fate.

---
 content/fate_v1/extensions/_index.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 content/fate_v1/extensions/_index.md

(limited to 'content/fate_v1/extensions/_index.md')

diff --git a/content/fate_v1/extensions/_index.md b/content/fate_v1/extensions/_index.md
new file mode 100644
index 0000000..e9a04ee
--- /dev/null
+++ b/content/fate_v1/extensions/_index.md
@@ -0,0 +1,15 @@
+---
+title: Extensions
+weight: 9
+---
+
+{{< fatecode >}}(declare_extra_instruction {Identifier} [T0 = TYPE] ... [TN = TYPE]){{< /fatecode >}}
+Declares an external instruction `{Identifier}` with parameters of type `[T0]`
+... `[TN]`.
+
+{{< fatecode >}}(declare_extra_computation [R = TYPE] {Identifier} [T0 = TYPE] ... [TN = TYPE]){{< /fatecode >}}
+Declares an external computation `{Identifier}` with parameters of type `[T0]`
+... `[TN]` and returning a value of type `[R]`.
+
+{{< fatecode >}}(declare_extra_type {Identifier}){{< /fatecode >}}
+Declares an external type.
-- 
cgit v1.2.3-70-g09d2