@hackage / Proper

An implementation of propositional logic in Haskell

0.5.2.0

Version history