Browse Source

Initial commit

master
jamesscott 1 year ago
commit
db8f1f0e50
  1. 4
      .gitignore
  2. 2
      README.md

4
.gitignore

@ -0,0 +1,4 @@
# ---> Agda
*.agdai
MAlonzo/**

2
README.md

@ -0,0 +1,2 @@
# acube
Loading…
Cancel
Save