@hackage PandocAgda dependencies

16 results

library:PandocAgda (14 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause>=0.11 && <0.12

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.0 && <2.1 || >=2.1.1 && <2.2

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause>=1.1 && <1.4

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.0 && <1.2

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.1 && <0.6

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.2 && <4.7

@haskell/Win32

A binding to Windows Win32 API.

BSD-3-Clause>=2.2 && <2.3

@hackage/xhtml

An XHTML combinator library

BSD-3-Clause>=3000.2 && <3000.3

@hackage/time

A time library

BSD-2-Clause>=1.4 && <1.5

@hackage/pandoc-types

Types for representing a structured document

BSD-3-Clause>=1.10 && <1.11

@hackage/pandoc

Conversion between markup formats

GPL-2.0-or-later>=1.10 && <1.11

@hackage/old-time

Time library

BSD-3-Clause>=1.0 && <1.2

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.3 && <2.6

@hackage/Agda

A dependently typed functional programming language and proof assistant

MIT==2.3.3

executable:agdapandoc (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=3 && <6

@hackage/PandocAgda

Pandoc support for literate Agda

BSD-3-Clause==2.3.3.0.2