summary refs log tree commit diff
path: root/pkgs/development/libraries/agda/categories
Commit message (Expand)AuthorAge
* agda-categories: add packageMateusz Kowalczyk2014-09-16