djinn-lib-0.0.1.1: Generate Haskell code from a type. Library extracted from djinn package.

Safe Haskell	None

Djinn.LJT

Documentation

module Djinn.LJTFormula

provable :: Formula -> Bool Source

prove :: MoreSolutions -> [(Symbol, Formula)] -> Formula -> [Proof]Source

type Proof = Term Source

type MoreSolutions = Bool Source