Package: agda-categories @ 0.2.0

Synopsis

New Categories library for Agda

Description

A new Categories library for Agda

Home page

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

Location

gnu/packages/agda.scm (line: 238, column: 2)

License

System	Target	Derivation	Build status
`x86_64-linux`		/gnu/store/wkvkk8712srv6iphqi28gsc9b1h897j9-agda-categories-0.2.0.drv	Canceled Succeeded
`i686-linux`		/gnu/store/vd345hk78c4ygjx5d1n9z2qgv67gjkhn-agda-categories-0.2.0.drv	Canceled Scheduled

Linter	Message	Location
No lint warnings ✓