Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
5 lines (4 sloc) 29 Bytes
*.agdai
*.swp
Test.agda
Test