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