name: cat
-- version: 0.0.1
-- description:
--   A formalization of category theory in Agda using cubical type theory.
depend:
  standard-library
  cubical
include:
  src
-- libraries:
--   libs/agda-stdlib
--   libs/cubical