From 383d48ec3831fad17779ef34b1cf2febb67bbf4b Mon Sep 17 00:00:00 2001 From: joey33 Date: Fri, 26 Jan 2024 21:40:45 +0100 Subject: [PATCH] Initial commit --- .gitignore | 4 ++++ README.md | 3 +++ 2 files changed, 7 insertions(+) create mode 100644 .gitignore create mode 100644 README.md 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