@hackage haskell-rules0.1.0.1

A DSL for expressing natural deduction rules in Haskell.

Categories
License
GPL-3.0-only
Maintainer
Sophie Taylor sophie@spacekitteh.moe
Links
- Documentation
- No source repository
- Security
Versions
- 0.1.0.1 Fri, 16 Jan 2015
- 0.1.0.0 Fri, 16 Jan 2015

Installation
In your cabal file:
Dependencies (2)
- base >=4.6 && <4.9
- syb
Dependents (1)
@hackage/acme-everything