"src/main/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "3377476747fe890967db8377362e4cf0458fa0a5"
-
Sankalp Gambhir authored
* Clean up and doc unif utils * Merge from set-theory-general (pls work) * Partially working general subst * Possibly working version of substitution * Add rightLeft functionality * Error message update * Working substitution with some tests * Rename file, remove testing print * Change Substitution to applySubst * Working greedy subst without matching * Change Substitution to applySubst in Example * scala{fix,fmt} * scala{fix,fmt} 2 * Fix wrapping of binders during recursive calls * Add recursive simplifier for substitutions * scala{fix,fmt}
Sankalp Gambhir authored* Clean up and doc unif utils * Merge from set-theory-general (pls work) * Partially working general subst * Possibly working version of substitution * Add rightLeft functionality * Error message update * Working substitution with some tests * Rename file, remove testing print * Change Substitution to applySubst * Working greedy subst without matching * Change Substitution to applySubst in Example * scala{fix,fmt} * scala{fix,fmt} 2 * Fix wrapping of binders during recursive calls * Add recursive simplifier for substitutions * scala{fix,fmt}