Module

Data.KleeneLogic

Package: purescript-kleene-logic
Repository: Risto-Stevcev/purescript-kleene-logic

#KleeneLogic Source

data KleeneLogic

Constructors

Instances

#kleeneConj Source

kleeneConj :: KleeneLogic -> KleeneLogic -> KleeneLogic

#kleeneDisj Source

kleeneDisj :: KleeneLogic -> KleeneLogic -> KleeneLogic

#kleeneNot Source

kleeneNot :: KleeneLogic -> KleeneLogic

#kleeneImpl Source

kleeneImpl :: KleeneLogic -> KleeneLogic -> KleeneLogic

Modules: Data.KleeneLogic