@hackage LTS dependencies

15 results

library:LTS (2 dependencies)

@haskell/base

Core data structures and operations

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

@hackage/fin

Nat and Fin: peano naturals and finite numbers

BSD-3-Clause>=0.1.1 && <0.2

executable:LTS (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/LTS

LTS: Labelled Transition System

MIT

test:lts-tests (7 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/tasty-smallcheck

SmallCheck support for the Tasty test framework.

MIT

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT

@hackage/tasty

Modern and extensible testing framework

MIT

@hackage/smallcheck

A property-based testing library

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause==2.14

@hackage/LTS

LTS: Labelled Transition System

MIT

benchmark:lts-bench (4 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/time

A time library

BSD-2-Clause

@hackage/criterion

Robust, reliable performance measurement and analysis

BSD-3-Clause

@hackage/LTS

LTS: Labelled Transition System

MIT