@hackage idris dependencies

26 results

library:idris (13 dependencies)

@haskell/parsec

Monadic parser combinators

BSD-2-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/readline

An interface to the GNU readline library

LicenseRef-GPL

@hackage/old-time

Time library

BSD-3-Clause

@hackage/old-locale

locale library

BSD-3-Clause

@hackage/ivor

Theorem proving library based on dependent type theory

BSD-3-Clause>=0.1.10

@hackage/haskell98

Compatibility with Haskell 98

BSD-3-Clause

@hackage/epic

Compiler for a simple functional language

BSD-3-Clause>=0.1.3

executable:idris (13 dependencies)

@haskell/parsec

Monadic parser combinators

BSD-2-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/readline

An interface to the GNU readline library

LicenseRef-GPL

@hackage/old-time

Time library

BSD-3-Clause

@hackage/old-locale

locale library

BSD-3-Clause

@hackage/ivor

Theorem proving library based on dependent type theory

BSD-3-Clause>=0.1.10

@hackage/haskell98

Compatibility with Haskell 98

BSD-3-Clause

@hackage/epic

Compiler for a simple functional language

BSD-3-Clause>=0.1.3