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

Runtime Dependencies

agda-stdlib-2.6.4.3.2.0

>=sci-mathematics/agda-2.6.4.3:=[profile?
]

dev-lang/ghc:=[profile?
]