Mentions légales du service

Skip to content
  • Raphaël Rieu-Helft's avatar
    Add a transformation to rewrite several equalities at once · fc53feba
    Raphaël Rieu-Helft authored
    When many equalities have to be rewritten, using the existing rewrite transformation repeatedly wastes a lot of time in declaration and task construction.
    The rewrite_list transformation rewrites all equalities first and then builds the new declarations and tasks only once.
    fc53feba