Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
9 lines (9 sloc) 154 Bytes
# Ignore Emacs backup files
*~
# Ignore the .DS_Store file generated on a Mac
.DS_Store
# Ignore Agda compiled files
*.agdai
html/
Unclassified/
Test.agda