playgrounds/agda-doodles
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Files
master
agda-doodles/.gitignore
hellerve a67cd02e55 initial
2019-03-28 21:45:04 +01:00

3 lines
16 B
Plaintext
Raw Permalink Blame History

*.agdai
*.agda~
Reference in New Issue View Git Blame Copy Permalink