Initial commit
This commit is contained in:
commit
4dc5e1cbc1
4
.gitignore
vendored
Normal file
4
.gitignore
vendored
Normal file
@ -0,0 +1,4 @@
|
|||||||
|
# ---> Agda
|
||||||
|
*.agdai
|
||||||
|
MAlonzo/**
|
||||||
|
|
Loading…
x
Reference in New Issue
Block a user