included-dirs:
  - src
  - README

included-files:
  - "*.agda"
  - "*.md"

excluded-files:
  - "README/Text/Tabular.agda"