Browse Source

Initial commit

syevale111 1 year ago
commit
82b12faf32
3 changed files with 78 additions and 0 deletions
  1. 3 0
      .gitignore
  2. 72 0
      LICENSE
  3. 3 0
      README.md

+ 3 - 0
.gitignore

@@ -0,0 +1,3 @@
+# ---> Agda
+*.agdai
+

File diff suppressed because it is too large
+ 72 - 0
LICENSE


+ 3 - 0
README.md

@@ -0,0 +1,3 @@
+# edu
+
+education