delhi-syntax 0.1.4

Hash-consed formula store and epistemic operator sugar for delhi
Documentation