build/
*.*~ATTIC
\#*
*~
*.log
*.agda
*.agdai
*.js
input.txt