9032676
/
category-research
1
0
Fork 0
Code Issues 0 Pull Requests 0 Projects 0 Releases 0 Wiki Activity
Browse Source

update README.md

master
9032676 2 years ago
parent
34747ca042
commit
05f0c9b54a
1 changed files with 1 additions and 2 deletions
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. +1
    -2
      README.md

+ 1
- 2
README.md View File

@ -1,2 +1 @@
*.agdai
.DS_Store
Category theory research in Agda

Write Preview
Loading…
Cancel
Save