@hackage / Sit

Prototypical type checker for Type Theory with Sized Natural Numbers

Latest0.2023.8.3

Dependencies

library:Sit (5 dependencies)

@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.1 && <3
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.3 && <1
- License: BSD-3-Clause
@hackage / data-lens-light Simple lenses, minimum dependencies
- Version: >=0.1.2.2 && <0.2
- License: MIT
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.3 && <1
- License: BSD-3-Clause

executable:Sit.bin (2 dependencies)

test:system-test (2 dependencies)