gentoo.mahdi.cz
sci-mathematics
:agda-stdlib
Agda standard library
https://wiki.portal.chalmers.se/agda/
agda-stdlib-2.6.3.0.1.7.2
MIT
download
~amd64
haskell