From db8f1f0e506f4932109ebdcc42623cddced2c3ff Mon Sep 17 00:00:00 2001 From: jamesscott Date: Fri, 26 May 2023 14:06:50 +0200 Subject: [PATCH] Initial commit --- .gitignore | 4 ++++ README.md | 2 ++ 2 files changed, 6 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..afc8cd4 --- /dev/null +++ b/README.md @@ -0,0 +1,2 @@ +# acube +