Initial commit

8 months ago · b29f025912
2 changed files with 7 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -0,0 +1,4 @@
+# ---> Agda
+*.agdai
+MAlonzo/**
+
--- a/README.md
+++ b/README.md
@ -0,0 +1,3 @@
+# etf
+
+https://rhinestonehoodies.online/