/.stack-work
/agda-reference-filter

/example/Agda*.html
/example/*.agdai
/example/*.css