From fe738731c3241fe0ae452e9d5558225c7f342b31 Mon Sep 17 00:00:00 2001 From: JonoCode9374 <36217120+JonoCode9374@users.noreply.github.com> Date: Thu, 26 Dec 2019 13:45:16 +1100 Subject: [PATCH] Update Patterns.md --- Patterns.md | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/Patterns.md b/Patterns.md index 157da0c..d011757 100644 --- a/Patterns.md +++ b/Patterns.md @@ -10,25 +10,25 @@ R R* R& R! --> Right argument -- implicit/whatever is to the left `{...}` means that the expressions are blocked together -`ND` -> `N I R` +- `ND` -> `N I R` -`SN` -> `S(N)` -`Ss` -> `S(s(R))` -`SI` -> `S(R) I R*` +- `SN` -> `S(N)` +- `Ss` -> `S(s(R))` +- `SI` -> `S(R) I R*` -`IN` -> `L I S` -`IS` -> `L I S(R*)` -`Ii` -> `{L I R} i R*` +- `IN` -> `L I S` +- `IS` -> `L I S(R*)` +- `Ii` -> `{L I R} i R*` -`SNs` -> `S(N)s(R)` -`SNI` -> `S(N) I R` -`SsN` -> `S(s(N))` -`SsŠ` -> `S(s(Š(R)))` -`SsI` -> `S(s(R)) I R*` -`SIN` -> `S(R) I N` -`SIs` -> `S(R) I s(R*)` -`SIi` -> `S(R) I {L* i R*}` +- `SNs` -> `S(N)s(R)` +- `SNI` -> `S(N) I R` +- `SsN` -> `S(s(N))` +- `SsŠ` -> `S(s(Š(R)))` +- `SsI` -> `S(s(R)) I R*` +- `SIN` -> `S(R) I N` +- `SIs` -> `S(R) I s(R*)` +- `SIi` -> `S(R) I {L* i R*}` -`INS` -> `L I N S(*R)` +- `INS` -> `L I N S(*R)`