@hackage idris dependencies

26 results

library:idris (13 dependencies)

@hackage/old-locale

locale library

BSD-3-Clause

@hackage/base

Core data structures and operations

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

@hackage/epic

Compiler for a simple functional language

BSD-3-Clause>=0.1.4

@hackage/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@hackage/ivor

Theorem proving library based on dependent type theory

BSD-3-Clause>=0.1.11

@hackage/containers

Assorted concrete container types

BSD-3-Clause

@hackage/old-time

Time library

BSD-3-Clause

@hackage/binary

Binary serialisation for Haskell values using lazy ByteStrings

BSD-3-Clause

@hackage/parsec

Monadic parser combinators

BSD-2-Clause

@hackage/readline

An interface to the GNU readline library

LicenseRef-GPL

@hackage/haskell98

Compatibility with Haskell 98

BSD-3-Clause

@hackage/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

executable:idris (13 dependencies)

@hackage/old-locale

locale library

BSD-3-Clause

@hackage/base

Core data structures and operations

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

@hackage/epic

Compiler for a simple functional language

BSD-3-Clause>=0.1.3

@hackage/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@hackage/ivor

Theorem proving library based on dependent type theory

BSD-3-Clause>=0.1.10

@hackage/containers

Assorted concrete container types

BSD-3-Clause

@hackage/old-time

Time library

BSD-3-Clause

@hackage/binary

Binary serialisation for Haskell values using lazy ByteStrings

BSD-3-Clause

@hackage/parsec

Monadic parser combinators

BSD-2-Clause

@hackage/readline

An interface to the GNU readline library

LicenseRef-GPL

@hackage/haskell98

Compatibility with Haskell 98

BSD-3-Clause

@hackage/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause