Merge branch 'main' of https://git.science.uu.nl/jij-en-ik/lambda-calculus

fromstring.py

-def fromstring(string):
-    uitkomst = ''
-    close = 0
-    string = [x for x in string]
-    waitcheck = True
-    check = True
-    print(string)
-    for i in range(len(string)):
-        if string[i] == ' ':
-            pass
-        elif string[i] == "\\":
-            uitkomst += 'Abstraction('
-            close += 1
-        elif string[i] == ".":
-            waitcheck = False
-        else:
-            if check and i > 1:
-                uitkomst += f"Abstraction("
-                close += 1
-            uitkomst += f"Variable('{string[i]}'), "
-        if not waitcheck:
-            check = False
-    uitkomst = uitkomst[:-2]
-    uitkomst += close * ")"
-    print(uitkomst)
-fromstring(r"\a b. a")
\ No newline at end of file