New Categories library for Agda
A new Categories library for Agda
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/2n3ysqyggq4smsvldg3fqdpvyg4217ll-agda-categories-0.2.0.drv | ||
i686-linux | /gnu/store/a1xwxl0fgs3bvrnah0zj4c9a8hr2if05-agda-categories-0.2.0.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |