hooo 0.3.8

Propositional logic with exponentials
Documentation