Skip to content
Snippets Groups Projects
  • Sankalp Gambhir's avatar
    eea3fa54
    Greedy simplification utilities (#145) · eea3fa54
    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}
    eea3fa54
    History
    Greedy simplification utilities (#145)
    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}