Category-Theory/category.agda-lib

4 lines
58 B
Text
Raw Permalink Normal View History

2024-10-13 19:28:44 -07:00
name: category
depend: standard-library-2.1
include: src/