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