@hackage / ntha

A tiny statically typed functional programming language.

Latest0.1.3

Dependencies

library:ntha (7 dependencies)

@hackage / z3 Bindings for the Z3 Theorem Prover
- Version: >=4.1.0
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version:
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2 && <2.3
- License: BSD-3-Clause
@hackage / monad-loops Monadic loops
- Version:
- License: LicenseRef-PublicDomain

executable:ntha (6 dependencies)

test:ntha-test (5 dependencies)