Lyxal
/
Keta
mirror of https://github.com/Lyxal/Keta.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Update chainify.py

This commit is contained in:
JonoCode9374 2019-12-26 21:15:15 +11:00 committed by GitHub
parent b541704054
commit 04e05f739a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
chainify.py
View File

@ -86,4 +86,13 @@ for exp in exprs:
elif pattern == "202":
print(fns[2] + "(" + fns[0] + "(L, " + fns[1] + "), R*)")
elif pattern == "210":
print(fns[0] + "(L, " + fns[1] + "(" + fns[2] + "))")
elif pattern == "211":
print(fns[0] + "(L, " + fns[1] + "(" + fns[2] + "(R*)))")
elif pattern == "212":
print(fns[2] + "(" + fns[0] + "(L, " + fns[1] + "(R*)), R&)")