djinn-lib-0.0.1: Generate Haskell code from a type. Library extracted from djinn package.
Djinn.LJT
module Djinn.LJTFormula
provable :: Formula -> BoolSource
prove :: MoreSolutions -> [(Symbol, Formula)] -> Formula -> [Proof]Source
type Proof = TermSource