hooo 0.9.0

Propositional logic with exponentials
Documentation