gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/agda-lib-ffi

Auxiliary Haskell code used by Agda's standard library.

Screenshots