@hackage ivory-eval0.1.0.6
Simple concrete evaluator for Ivory programs
Categories
License
BSD-3-Clause
Maintainer
leepike@galois.com
Links
Versions
Installation
Dependencies (5)
- base >=4.6 && <5
- containers
- base-compat
- ivory
- monadLib Show all…
Dependents (1)
@hackage/ivory-quickcheck
Warning! This module is experimental and its implementation may change dramatically.