proposition-0.1: Library for manipulating propositions.ContentsIndex
Data.Proposition.Fix
Description

This proposition instance is basically Formula, but equality is done on BDD with: 

 a == b = f a == f b
     where f = propSimplify . propRebuildBDD . propSimplify
Documentation
data PropFix a
show/hide Instances
propRebuildFix :: (Prop p, PropLit a) => p a -> PropFix a
Produced by Haddock version 0.8