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