Language

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

Lint warnings

LinterMessageLocation
No lint warnings