Initial commit

This commit is contained in:
joey33 2024-01-26 21:40:45 +01:00
commit 383d48ec38
2 changed files with 7 additions and 0 deletions

4
.gitignore vendored Normal file
View file

@ -0,0 +1,4 @@
# ---> Agda
*.agdai
MAlonzo/**

3
README.md Normal file
View file

@ -0,0 +1,3 @@
# writing_services
zcsdc