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

Safe Haskell	None
Language	Haskell98

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 #