name: bsc
include: .
depend: standard-library, agda-categories