The boolean-normal-forms package

[Tags: library, mit]

The provided types that might be useful in symbolic manipulation of propositional logic expressions.


[Skip to ReadMe]

Properties

Version0.0.0.1
Change logNone available
Dependenciesbase (>=4.6 && <4.8), cond (>=0.4.1 && <0.5), containers (==0.5.*) [details]
LicenseMIT
Copyright© Oleg Grenrus 2014
AuthorOleg Grenrus
Maintaineroleg.grenrus@iki.fi
CategoryData
UploadedSun May 11 21:00:10 UTC 2014 by phadej
DistributionsNixOS:0.0.0.1
Downloads212 total (6 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for boolean-normal-forms-0.0.0.1

Boolean normal forms

Build Status

This library provides types that might be useful in symbolic manipulation of propositional logic expressions.

Features

Distributed under MIT license © Oleg Grenrus 2014