Some API and implementation tidyups

mlabs-haskell / apropos

Propositional Logic Apropos Types

Apache License 2.0

14 stars 5 forks source link

Closed AriFordsham closed 2 years ago

AriFordsham commented 2 years ago

Tidied selfTest API
Stripped out enumeration
Generalized pure tests to return Property rather than Bool - this may change still.