dev-lang/idris
Functional Programming Language with Dependent Types
-
idris-9999ffi gmp doc hscolour hoogle profile test
View
Download
Browse License: BSD
Overlay: haskell (layman) -
idris-1.2.0-r1ffi gmp doc hscolour hoogle profile test
View
Download
Browse License: BSD
Overlay: haskell (layman) -
idris-1.1.0~amd64 ~x86ffi gmp doc hscolour hoogle profile test
View
Download
Browse License: BSD
Overlay: haskell (layman) -
idris-1.0-r1~amd64 ~x86ffi gmp doc hscolour hoogle profile test
View
Download
Browse License: BSD
Overlay: haskell (layman)