language-sally: AST and pretty printer for Sally

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain]

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

Properties

Versions0.1.0.0, 0.1.0.0, 0.1.0.1, 0.1.1.0, 0.1.2.0
Change logChangeLog.md
Dependenciesansi-wl-pprint (>=0.6), base (>=4.8 && <5), bytestring (>=0.10), containers (>=0.5), text (>=1.2.2 && <1.3) [details]
LicenseISC
CopyrightGalois, Inc. 2017
AuthorBenjamin Jones
Maintainerbjones@galois.com
CategoryLanguage
UploadedThu Jun 22 17:43:10 UTC 2017 by bjones

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees