| Name : ghc-kan-extensions
| |
| Version : 5.2.5
| Vendor : openSUSE
|
| Release : 3.10
| Date : 2023-09-30 15:17:42
|
| Group : Unspecified
| Source RPM : ghc-kan-extensions-5.2.5-3.10.src.rpm
|
| Size : 0.56 MB
| |
| Packager : https://bugs_opensuse_org
| |
| Summary : Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads
|
Description :
Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density
(co)monads.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240429/repo/oss/x86_64 |
