diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-07-19 20:20:41 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-07-19 20:20:41 +0100 |
| commit | d742833c8578ef2422542972366250fb3de69c12 (patch) | |
| tree | c9b6b5a3648c35120cd2efa6984cc7a4600feb52 | |
Initial commit.
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..a7f34d8 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +# ---> Agda +*.agdai +MAlonzo/** + |