Lyxal/Keta
1
0
Fork 0
mirror of https://github.com/Lyxal/Keta.git synced 2024-08-14 23:53:13 +00:00
Code Issues Projects Releases Wiki Activity

Update Patterns.md

Browse source
This commit is contained in:
JonoCode9374 2019-12-26 13:45:16 +11:00 committed by GitHub
parent 3aa147c1b9
commit fe738731c3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 16 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
Patterns.md
View file

@ -10,25 +10,25 @@ R R* R& R! --> Right argument -- implicit/whatever is to the left
`{...}` means that the expressions are blocked together `{...}` means that the expressions are blocked together
`ND` -> `N I R` - `ND` -> `N I R`
`SN` -> `S(N)` - `SN` -> `S(N)`
`Ss` -> `S(s(R))` - `Ss` -> `S(s(R))`
`SI` -> `S(R) I R*` - `SI` -> `S(R) I R*`
`IN` -> `L I S` - `IN` -> `L I S`
`IS` -> `L I S(R*)` - `IS` -> `L I S(R*)`
`Ii` -> `{L I R} i R*` - `Ii` -> `{L I R} i R*`
`SNs` -> `S(N)s(R)` - `SNs` -> `S(N)s(R)`
`SNI` -> `S(N) I R` - `SNI` -> `S(N) I R`
`SsN` -> `S(s(N))` - `SsN` -> `S(s(N))`
`SsŠ` -> `S(s(Š(R)))` - `SsŠ` -> `S(s(Š(R)))`
`SsI` -> `S(s(R)) I R*` - `SsI` -> `S(s(R)) I R*`
`SIN` -> `S(R) I N` - `SIN` -> `S(R) I N`
`SIs` -> `S(R) I s(R*)` - `SIs` -> `S(R) I s(R*)`
`SIi` -> `S(R) I {L* i R*}` - `SIi` -> `S(R) I {L* i R*}`
`INS` -> `L I N S(*R)` - `INS` -> `L I N S(*R)`