Gentoo Portage Overlays - sci-mathematics/agda-stdlib

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/agda-stdlib

Agda standard library

Screenshots

https://wiki.portal.chalmers.se/agda/

agda-stdlib-2.6.4.3.2.0

~amd64

profile

View

Download

Browse License: MIT

Overlay: haskell

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs