bambinos/formulae

Make `Term` and friends available in the `formulae` namespace

Opened this issue · 0 comments

tomicapretto commented

Now we have to do

formulae.terms.terms.Term

It would be good to do

formulae.Term