Initial commit
This commit is contained in:
commit
cbe6e4a58e
4
.gitignore
vendored
Normal file
4
.gitignore
vendored
Normal file
|
@ -0,0 +1,4 @@
|
|||
# ---> Agda
|
||||
*.agdai
|
||||
MAlonzo/**
|
||||
|
Loading…
Reference in a new issue