ghc-semigroupoids

Edit Package ghc-semigroupoids
No description set
Refresh
Refresh
Source Files
Filename Size Changed
ghc-semigroupoids.changes 0000000291 291 Bytes
ghc-semigroupoids.spec 0000004123 4.03 KB
semigroupoids-4.3.tar.gz 0000017190 16.8 KB
Revision 1 (latest revision is 27)
Dominique Leuenberger's avatar Dominique Leuenberger (dimstar_suse) accepted request 308880 from Ondřej Súkup's avatar Ondřej Súkup (mimi_vx) (revision 1)
Provides a wide array of (semi)groupoids and operations for working with them.

A 'Semigroupoid' is a 'Category' without the requirement of identity arrows for
every object in the category.

A 'Category' is any 'Semigroupoid' for which the Yoneda lemma holds.
Comments 0
openSUSE Build Service is sponsored by