@hackage ivory-examples0.1.0.2

Ivory examples.

Categories
License
BSD-3-Clause
Maintainer
trevor@galois.com
Links
Versions
- 0.1.0.5 Mon, 19 Dec 2016
- 0.1.0.4 Sat, 29 Oct 2016
- 0.1.0.3.1 Tue, 5 Apr 2016
- 0.1.0.3 Tue, 5 Apr 2016
- 0.1.0.2 Wed, 26 Mar 2014
- 0.1.0.1 Wed, 26 Mar 2014

Installation
In your cabal file:
Dependencies (0)
- QuickCheck
- base >=4.6
- base >=4.6 && <4.7
- ivory
- ivory-backend-c
- ivory-opts
Dependents (1)
@hackage/acme-everything

Various examples demonstrating the use of Ivory.