-- File generated by Agda-Pkg
name:    CategoryExcercise
depend:  standard-library category-agda
include: src

-- End