@hackage ivory-eval0.1.0.3

Simple concrete evaluator for Ivory programs

Categories
- Testing
License
BSD-3-Clause
Maintainer
leepike@galois.com
Links
Versions
- 0.1.0.6 Fri, 5 Apr 2019
- 0.1.0.5 Fri, 16 Dec 2016
- 0.1.0.4 Sun, 26 Mar 2017
- 0.1.0.3 Sun, 26 Mar 2017

Warning! This module is experimental and its implementation may change dramatically.