name: substitution
depend: 
include:
  ./
  ./src/
  ./lib/agda-stdlib/src/