@hackage Sit dependencies

9 results

library:Sit (5 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

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

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.3 && <1

@haskell/base

Core data structures and operations

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

@haskell/array

Mutable and immutable arrays

BSD-3-Clause>=0.3 && <1

@hackage/data-lens-light

Simple lenses, minimum dependencies

MIT>=0.1.2.2 && <0.2

executable:Sit.bin (2 dependencies)

@haskell/base

Core data structures and operations

@hackage/Sit

Prototypical type checker for Type Theory with Sized Natural Numbers

LicenseRef-OtherLicense

test:system-test (2 dependencies)

@haskell/base

Core data structures and operations

@hackage/Sit

Prototypical type checker for Type Theory with Sized Natural Numbers

LicenseRef-OtherLicense