-- File generated by Agda-Pkg
name:    CategoryExcercise
depend:  standard-library 
include: src
flags:
  --warning=noUnsupportedIndexedMatch


-- End