@hackage dove0.0.0

The Dove verification language.

Categories
- Language
License
BSD-3-Clause
Maintainer
Tom Hawkins <tomahawkins@gmail.com>
Links
Versions
- 0.0.0 Tue, 28 Apr 2015

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