Package: agda-categories @ 0.1.7.2

Synopsis

New Categories library for Agda

Description

A new Categories library for Agda

Home page

https://github.com/agda/agda-categories

Location

License

System	Target	Derivation	Build status
`x86_64-linux`		/gnu/store/13jab8z0prq2l03mi2hl1vy6hvzg6yfz-agda-categories-0.1.7.2.drv	Succeeded
`i686-linux`		/gnu/store/1ccshw3yyj1j5gsh4n1nmmqjk09f4xmv-agda-categories-0.1.7.2.drv	Failed Failed Failed

Linter	Message	Location
No lint warnings ✓