name: bytecode
include: src
depend: agda-prelude