From 2fb0cc49eebf23946a82b26c6a6c79cb65652066 Mon Sep 17 00:00:00 2001
From: 2269767 <p.t.vugts@students.uu.nl>
Date: Wed, 11 Jan 2023 09:35:12 +0000
Subject: [PATCH] Werkte niks van en was een slecht idee
---
fromstring.py | 26 --------------------------
1 file changed, 26 deletions(-)
delete mode 100644 fromstring.py
diff --git a/fromstring.py b/fromstring.py
deleted file mode 100644
index bccdbf8..0000000
--- a/fromstring.py
+++ /dev/null
@@ -1,26 +0,0 @@
-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
--
GitLab