/.stack-work
/html
/*.agda
/*.agdai