summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--CHANGELOG.md32logplain
-rw-r--r--LICENSE1056logplain
-rw-r--r--README.md451logplain
-rw-r--r--Setup.hs46logplain
-rw-r--r--boolean-normal-forms.cabal2788logplain
d---------doc-formulae105logplain
d---------src31logplain
d---------tests523logplain