gpo.zugaina.org

Search Portage & Overlays:

dev-lang/idris

Dependently Typed Functional Programming Language

Screenshots