nopaste | share your clipboard

Undefined

Edit & repaste | raw paste | Request removal

module Ex12_QBF2 where
 
import DTC
import Ex12_QBF1
 
data Disjunction a = Disjunction a a
data ExistQuantor a = ExistQuantor a
 
instance Functor Disjunction where
        fmap f (Disjunction x y) = Disjunction (f x) (f y)
instance Functor ExistQuantor where
        fmap f (ExistQuantor a) = ExistQuantor (f a)
        
instance EvalBQF Disjunction where
        evalFormula (Disjunction x y) = x || y
instance EvalBQF ExistQuantor where
        evalFormula (ExistQuantor e) = e
 
disj :: (Disjunction :<: f) => Mu f -> Mu f -> Mu f
disj x y = inject (Disjunction x y)
 
exists :: (ExistQuantor :<: f) => Mu f -> Mu f
exists x = inject (ExistQuantor x)

Latest pastes

Undefined

1 hours ago

Z-content

1 hours ago

VIP hub

1 hours ago

Young Girl Having Fun in The Bushes

3 hours ago

Undefined

6 hours ago