@hackage / haskell-rules

A DSL for expressing natural deduction rules in Haskell.

Latest0.1.0.1

Changelog

This release does not have a Changelog