| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'content/fate_v1/declarations')
| -rw-r--r-- | content/fate_v1/declarations/sequences/_index.md | 2 | ||||
| -rw-r--r-- | content/fate_v1/declarations/types/_index.md | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/content/fate_v1/declarations/sequences/_index.md b/content/fate_v1/declarations/sequences/_index.md index 8bdb30e..a2fbcb1 100644 --- a/content/fate_v1/declarations/sequences/_index.md +++ b/content/fate_v1/declarations/sequences/_index.md @@ -28,7 +28,7 @@ instruction list by the execution of the sequence. If one were to ignore variables, the `(jump_to sequence_name)` instruction is similar to performing `(call sequence_name) (done)`. -{{< fatecode >}}(define_sequence {String} (([C0 = TYPE] {V0 = String}) ... ([CN = TYPE] {VN = String})) <I0 = INSTRUCTIONS|VALUE> ... <IM = INSTRUCTIONS|VALUE>){{< /fatecode >}} +{{< fatecode >}}(define_sequence {String} (([C0 = TYPE] {V0 = String}) ... ([CN = TYPE] {VN = String})) [I0 = INSTRUCTIONS|VALUE] ... [IM = INSTRUCTIONS|VALUE]){{< /fatecode >}} **Effect:** Defines the sequence `{String}`, with variables `V0` ... `VN` of types `C0` ...`CN` as parameters, and instructions `I0` ... `IM` as content. **Acceptable Aliases:** `declare_sequence`, `def_seq`, `define_procedure`, `declare_procedure`, `def_proc`. diff --git a/content/fate_v1/declarations/types/_index.md b/content/fate_v1/declarations/types/_index.md index 9a3677f..52f8154 100644 --- a/content/fate_v1/declarations/types/_index.md +++ b/content/fate_v1/declarations/types/_index.md @@ -28,9 +28,9 @@ Two collection types are available: * `(set [COMPARABLE TYPE])` Lambda computations are available: -* `(lambda <r = TYPE> (<a0 = TYPE> ... <an = TYPE>))` is a type corresponding - to a lambda function returning a value of type `r` and taking parameters of - types `a0` ... `an`. +* `(lambda [R = TYPE] ([A0 = TYPE] ... [AN = TYPE]))` is a type corresponding + to a lambda function returning a value of type `R` and taking parameters of + types `A0` ... `AN`. ### Common Type Groupings * `[NUMBER]` corresponds to `int`, `float`. @@ -49,7 +49,7 @@ Lambda computations are available: `[PRIMITIVE]`, `{String}` is a subtype of `[TYPE]`. ### Structures -{{< fatecode >}}(declare_structure_type {String} (<t0 = TYPE> {f0 = String}) ... (<tn = TYPE> {fn = String})){{< /fatecode >}}. +{{< fatecode >}}(declare_structure_type {String} ([T0 = TYPE] {F0 = String}) ... ([TN = TYPE] {fn = String})){{< /fatecode >}}. ## Examples |