-
Léon Gondelman authored
without any optimisation. Next steps: modify definition of wp_expr, with a deep embedding of - functions : to allow optimisation go recursively through lambdas, in particular, to allow exhale-inhale optimisation; - conjunction and equations : to allow optimisation of redundant and trivial equations
c36dda2a