mirror of
https://github.com/Lyxal/Keta.git
synced 2024-08-14 23:53:13 +00:00
Update Patterns.md
This commit is contained in:
parent
086c5ba75a
commit
facca8ab5d
1 changed files with 2 additions and 2 deletions
|
@ -1,5 +1,5 @@
|
|||
# Different Block Patterns
|
||||
This is a list of how patterns are evaluated within Ket (ekg)
|
||||
This is a list of how patterns are evaluated within Ket (ekg).
|
||||
|
||||
Nilads: N n Ñ --> Nilads
|
||||
|
||||
|
@ -39,6 +39,6 @@ R R* R& --> Right argument -- implicit/whatever is to the left
|
|||
- `IiS` -> `{L I R} i S(R*)`
|
||||
- `IiĪ` -> `{{L I R} i R*} Ī R&`
|
||||
|
||||
Blocks are evaluated using the triplet rules if possible, otherwise the pair rules are used, otherwise things are evaluated as is
|
||||
Blocks are evaluated using the triplet rules if possible, otherwise the pair rules are used, otherwise expressions are evaluated as is.
|
||||
|
||||
|
||||
|
|
Loading…
Reference in a new issue