@hackage / haskell-rules

A DSL for expressing natural deduction rules in Haskell.

Latest0.1.0.1

Dependencies

library:haskell-rules (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.6 && <4.9
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version:
- License: BSD-3-Clause