Gentoo Portage Overlays - dev-lang/idris2

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

dev-lang/idris2

Purely functional programming language with first class types

Screenshots

https://idris-lang.org/

idris2-0.7.0

~amd64 ~x86

+chez doc racket test-full

View

Download

Browse License: BSD

Overlay: gentoo

idris2-0.6.0

~amd64 ~x86

+chez doc racket test-full

View

Download

Browse License: BSD

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs