name: agda
include: . 
depend: standard-library