name: bsc
include: src/
depend: standard-library agda-categories