commit 383d48ec3831fad17779ef34b1cf2febb67bbf4b
Author: joey33 <gadoho8734@bitofee.com>
Date:   Fri Jan 26 21:40:45 2024 +0100

    Initial commit

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..a7f34d8
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+# ---> Agda
+*.agdai
+MAlonzo/**
+
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..65b7fc8
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# writing_services
+
+zcsdc
\ No newline at end of file