From 70e9a246402f19498148d12c3ea71b793ed64bae Mon Sep 17 00:00:00 2001 From: minze Date: Wed, 1 Apr 2026 18:19:34 +0200 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..e0c1c2f --- /dev/null +++ b/README.md @@ -0,0 +1,3 @@ +# UniverseLevelTypes + +Master Project \ No newline at end of file