cat-theory.agda-lib - yellowsquid/cat-theory.git - [no description]

summary refs log tree commit diff

path: root/cat-theory.agda-lib

blob: 7fab3f09922fbd66d56c1091d2030d55806618d5 (plain)

depend:
  agda-categories
  standard-library-1.7
include:
  src