@hackage language-sally0.1.2.0

AST and pretty printer for Sally

Categories
- Language
License
ISC
Maintainer
bjones@galois.com
Links
Versions
- 0.1.2.0 Tue, 1 Aug 2017
- 0.1.1.0 Fri, 23 Jun 2017
- 0.1.0.1 Thu, 22 Jun 2017
- 0.1.0.0 Thu, 22 Jun 2017

AST and pretty printer for the Sally https://github.com/SRI-CSL/sally input language

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything